M.Explicit
val ty_unit : AST.ty
val expr_unit : span:Ast.span -> Hax_engine__Ast.Make(FB).expr
val pat_PBinding :
typ:Hax_engine__Ast.Make(FB).ty ->
span:Ast.span ->
mut:FB.mutable_variable Ast.mutability ->
mode:Hax_engine__Ast.Make(FB).binding_mode ->
var:Ast.local_ident ->
subpat:(Hax_engine__Ast.Make(FB).pat * FB.as_pattern) Prelude.option ->
Hax_engine__Ast.Make(FB).pat