Explicit (hax-engine.Fstar_backend.Attrs.U.M.Explicit)

val ty_unit : AST.ty

val expr_unit : 
  span:Hax_engine.Ast.span ->
  Hax_engine__Ast.Make(InputLanguage).expr

val pat_PBinding : 
  typ:Hax_engine__Ast.Make(InputLanguage).ty ->
  span:Hax_engine.Ast.span ->
  mut:InputLanguage.mutable_variable Hax_engine.Ast.mutability ->
  mode:Hax_engine__Ast.Make(InputLanguage).binding_mode ->
  var:Hax_engine.Ast.local_ident ->
  subpat:
    (Hax_engine__Ast.Make(InputLanguage).pat * InputLanguage.as_pattern)
      Hax_engine.Prelude.option ->
  Hax_engine__Ast.Make(InputLanguage).pat

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