Expect (hax-engine.Hax_engine.Mutable_variables.Make.U.Expect)

val mut_borrow : AST.expr -> AST.expr Prelude.option

val borrow : AST.expr -> AST.expr Prelude.option

val block : AST.expr -> AST.expr Prelude.option

val deref : AST.expr -> AST.expr Prelude.option

val closure : AST.expr -> (AST.pat Prelude.list * AST.expr) Prelude.option

val app : 
  AST.expr ->
  (AST.expr
   * AST.expr Prelude.list
   * AST.generic_value Prelude.list
   * AST.impl_expr Prelude.option
   * AST.impl_expr Prelude.list)
    Prelude.option

val pbinding_simple : AST.pat -> (Ast.local_ident * AST.ty) Prelude.option

val concrete_app1 : Concrete_ident.name -> AST.expr -> AST.expr Prelude.option

val deref_mut_app : AST.expr -> AST.expr Prelude.option

val local_var : AST.expr -> AST.expr Prelude.option

val arrow : AST.ty -> (AST.ty Prelude.list * AST.ty) Prelude.option

val mut_ref : AST.ty -> AST.ty Prelude.option

val concrete_app' : AST.expr' -> Ast.concrete_ident Prelude.option