Module `CamlinternalQuote.Exp_desc`

type t

val ident : 
  Ocaml_typing.CamlinternalQuote.Identifier.Value.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val constant : 
  Ocaml_typing.CamlinternalQuote.Constant.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val let_rec_simple : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Exp.t list
    * Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val let_ : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t list ->
  Ocaml_typing.CamlinternalQuote.Name.t list ->
  Ocaml_typing.CamlinternalQuote.Exp.t list ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t list ->
    Ocaml_typing.CamlinternalQuote.Var.Module.t list ->
    Ocaml_typing.CamlinternalQuote.Pat.t * Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val function_ : 
  Ocaml_typing.CamlinternalQuote.Function.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val apply : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  (Ocaml_typing.CamlinternalQuote.Label.t
   * Ocaml_typing.CamlinternalQuote.Exp.t)
    list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val match_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Case.t list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val try_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Case.t list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val tuple : 
  (Ocaml_typing.CamlinternalQuote.Label.Nonoptional.t
   * Ocaml_typing.CamlinternalQuote.Exp.t)
    list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val construct : 
  Ocaml_typing.CamlinternalQuote.Constructor.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val variant : 
  Ocaml_typing.CamlinternalQuote.Variant.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val record : 
  (Ocaml_typing.CamlinternalQuote.Field.t
   * Ocaml_typing.CamlinternalQuote.Exp.t)
    list ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val field : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Field.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val setfield : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Field.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val array : 
  Ocaml_typing.CamlinternalQuote.Exp.t list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val ifthenelse : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val sequence : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val while_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val for_nonbinding : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Pat.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  bool ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val for_simple : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  bool ->
  (Ocaml_typing.CamlinternalQuote.Var.Value.t ->
    Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val send : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Method.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val assert_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val lazy_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val letmodule_nonbinding : 
  Ocaml_typing.CamlinternalQuote.Module.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val letmodule : 
  Ocaml_typing.CamlinternalQuote.Loc.t ->
  Ocaml_typing.CamlinternalQuote.Name.t ->
  Ocaml_typing.CamlinternalQuote.Module.t ->
  (Ocaml_typing.CamlinternalQuote.Var.Module.t ->
    Ocaml_typing.CamlinternalQuote.Exp.t)
    Ocaml_typing.CamlinternalQuote.lam ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val constraint_ : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Type_constraint.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val new_ : 
  Ocaml_typing.CamlinternalQuote.Identifier.Value.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val pack : 
  Ocaml_typing.CamlinternalQuote.Module.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val unreachable : Ocaml_typing.CamlinternalQuote.Exp_desc.t

val src_pos : Ocaml_typing.CamlinternalQuote.Exp_desc.t

val stack : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val extension_constructor : 
  Ocaml_typing.CamlinternalQuote.Name.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val let_exception : 
  Ocaml_typing.CamlinternalQuote.Name.t ->
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val let_op : 
  Ocaml_typing.CamlinternalQuote.Identifier.Value.t list ->
  Ocaml_typing.CamlinternalQuote.Exp.t list ->
  Ocaml_typing.CamlinternalQuote.Case.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val exclave : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val list_comprehension : 
  Ocaml_typing.CamlinternalQuote.Comprehension.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val array_comprehension : 
  Ocaml_typing.CamlinternalQuote.Comprehension.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val unboxed_tuple : 
  (Ocaml_typing.CamlinternalQuote.Label.Nonoptional.t
   * Ocaml_typing.CamlinternalQuote.Exp.t)
    list ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val unboxed_record_product : 
  (Ocaml_typing.CamlinternalQuote.Field.t
   * Ocaml_typing.CamlinternalQuote.Exp.t)
    list ->
  Ocaml_typing.CamlinternalQuote.Exp.t option ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val unboxed_field : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Field.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val quote : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val antiquote : 
  Ocaml_typing.CamlinternalQuote.Exp.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val splice : 
  Ocaml_typing.CamlinternalQuote.Code.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

val eval : 
  Ocaml_typing.CamlinternalQuote.Type.t ->
  Ocaml_typing.CamlinternalQuote.Exp_desc.t

Module CamlinternalQuote.Exp_desc

Module `CamlinternalQuote.Exp_desc`