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