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.