M.Explicit
val ty_unit : AST.ty
val expr_unit : span:Ast.span -> Hax_engine__Ast.Make(InputLanguage).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