Up – hax-engine » Fstar_backend » Attrs » U » LiftToFullAst

Module `U.LiftToFullAst`

val expr : AST.expr -> Hax_engine.Ast.Full.expr

val ty : AST.ty -> Hax_engine.Ast.Full.ty

val item : AST.item -> Hax_engine.Ast.Full.item