Module `Camlp5Helpers.Exp`

type t = MLast.expr

val ident : loc:MLast.loc -> Base.String.t -> MLast.expr

val lid : loc:MLast.loc -> Base.String.t -> MLast.expr

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

val sprintf : 
  loc:MLast.loc ->
  ('a, unit, string, MLast.expr) Stdlib.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 -> Longident.t -> MLast.expr

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

val access : loc:MLast.loc -> string -> Base.String.t -> 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 -> 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 -> MLast.expr -> 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

Install