Exp (GT.Pa_gt.Camlp5Helpers.Exp)

type t = MLast.expr

val ident : loc:MLast.loc -> string -> MLast.expr

val attribute : 'a -> 'b -> 'b

val unit : loc:MLast.loc -> MLast.expr

val sprintf : loc:MLast.loc -> ('a, unit, string, MLast.expr) format4 -> 'a

val string_const : loc:MLast.loc -> string -> MLast.expr

val int_const : loc:MLast.loc -> int -> MLast.expr

val of_longident : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.expr

val acc : loc:MLast.loc -> t -> Ppxlib.Longident.t -> MLast.expr

val access : loc:MLast.loc -> string -> string -> MLast.expr

val app : loc:MLast.loc -> MLast.expr -> MLast.expr -> MLast.expr

val app_lab : loc:MLast.loc -> MLast.expr -> string -> MLast.expr -> MLast.expr

val app_list : loc:MLast.loc -> MLast.expr -> MLast.expr list -> MLast.expr

val match_ : loc:MLast.loc -> MLast.expr -> case list -> MLast.expr

val fun_ : loc:MLast.loc -> MLast.patt -> MLast.expr -> MLast.expr

val fun_list : loc:MLast.loc -> MLast.patt list -> MLast.expr -> MLast.expr

val fun_list_l : 
  loc:MLast.loc ->
  (string * MLast.expr) list ->
  MLast.expr ->
  MLast.expr

val construct : 
  loc:MLast.loc ->
  Ppxlib.Longident.t ->
  MLast.expr list ->
  MLast.expr

val variant : loc:MLast.loc -> string -> MLast.expr list -> MLast.expr

val tuple : loc:MLast.loc -> MLast.expr list -> MLast.expr

val new_ : loc:MLast.loc -> Longident.t -> MLast.expr

val object_ : 
  loc:MLast.loc ->
  (MLast.patt * MLast.class_str_item list) ->
  MLast.expr

val send : loc:MLast.loc -> MLast.expr -> string -> MLast.expr

val record : 
  loc:MLast.loc ->
  (Ppxlib.Longident.t * MLast.expr) list ->
  MLast.expr

val record1 : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.expr -> MLast.expr

val field : loc:MLast.loc -> t -> Ppxlib.Longident.t -> MLast.expr

val let_ : 
  loc:MLast.loc ->
  ?rec_:bool ->
  (MLast.patt * MLast.expr) list ->
  MLast.expr ->
  MLast.expr

val let_one : 
  loc:MLast.loc ->
  ?rec_:bool ->
  MLast.patt ->
  MLast.expr ->
  MLast.expr ->
  MLast.expr

val from_caml : 'a -> 'b

val assert_false : loc:MLast.loc -> MLast.expr

val failwith_ : loc:MLast.loc -> string -> MLast.expr

val objmagic_unit : loc:MLast.loc -> MLast.expr

val true_ : loc:MLast.loc -> MLast.expr

val false_ : loc:MLast.loc -> MLast.expr

val list : loc:MLast.loc -> MLast.expr list -> MLast.expr

val constraint_ : loc:MLast.loc -> MLast.expr -> MLast.ctyp -> MLast.expr