Module M.Explicit

val ty_unit : AST.ty
val expr_unit : span:Ast.span -> Hax_engine__Ast.Make(F).expr
val pat_PBinding : typ:Hax_engine__Ast.Make(F).ty -> span:Ast.span -> mut:F.mutable_variable Ast.mutability -> mode:Hax_engine__Ast.Make(F).binding_mode -> var:Ast.local_ident -> subpat:(Hax_engine__Ast.Make(F).pat * F.as_pattern) Prelude.option -> Hax_engine__Ast.Make(F).pat
val arm : span:Span.t -> AST.pat -> ?guard:AST.guard Prelude.option -> AST.expr -> AST.arm