TTImp.ProcessDecls

Definitions

processDecls : Ref Ctxt Defs => Ref MD Metadata => Ref UST UState => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => NestedNames vars -> Env Term vars -> List ImpDecl -> Core Bool

Visibility: export

processTTImpFile : Ref Ctxt Defs => Ref MD Metadata => Ref UST UState => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => String -> Core Bool

Visibility: export