M.Explicit
val ty_unit : AST.ty
val expr_unit : span:Ast.span -> Hax_engine__Ast.Make(InputLanguage).expr
val expr_tuple : span:Ast.span -> AST.expr Prelude.list -> AST.expr
val pat_PBinding :
typ:Hax_engine__Ast.Make(InputLanguage).ty ->
span:Ast.span ->
mut:InputLanguage.mutable_variable Ast.mutability ->
mode:Hax_engine__Ast.Make(InputLanguage).binding_mode ->
var:Ast.local_ident ->
subpat:
(Hax_engine__Ast.Make(InputLanguage).pat * InputLanguage.as_pattern)
Prelude.option ->
Hax_engine__Ast.Make(InputLanguage).pat
val call_Constructor' :
Ast.global_ident ->
Prelude.bool ->
AST.expr Prelude.list ->
Span.t ->
AST.ty ->
AST.expr
val call_Constructor :
Concrete_ident.name ->
Prelude.bool ->
AST.expr Prelude.list ->
Span.t ->
AST.ty ->
AST.expr
val expr_Constructor_CF :
span:Ast.span ->
break_type:AST.ty Prelude.option ->
return_type:AST.ty Prelude.option ->
acc:AST.expr ->
?e:AST.expr ->
[ `Break | `Continue | `Return ] ->
AST.expr