- bindDecls :: [TCDecl] -> [(Name, EvaluationMonad Value)]
Documentation
bindDecls :: [TCDecl] -> [(Name, EvaluationMonad Value)]Source
Given a list of declarations, returns a sequence of names bounds to
values that can be passed to addScopeAndBind
in order to bind them in
the current scope.