Explicit (hax-engine.Hax_engine.Phase_reject.As

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

val arm : 
  span:Span.t ->
  AST.pat ->
  ?guard:AST.guard Prelude.option ->
  AST.expr ->
  AST.arm