Camlp5Helpers (p.GT.0.5.1.doc.GT.syntax.Pa

Sourcemodule Located : sig ... end

Sourcetype loc = Located.t

Sourceval loc_from_caml : Ppxlib.Location.t -> Ploc.t

Sourceval noloc : Ploc.t

Sourcetype type_arg = MLast.type_var

Sourceval named_type_arg : loc:'a -> string -> type_arg

Sourcetype lab_decl = loc * string * bool * MLast.ctyp

Sourceval lab_decl : loc:'a -> 'b -> 'c -> 'd -> 'a * 'b * 'c * 'd

Sourcetype case = MLast.patt * MLast.expr option * MLast.expr

Sourceval case : lhs:MLast.patt -> rhs:MLast.expr -> case

Sourceval sep_last : 'a list -> 'a * 'a list

Sourceval capitalized : string -> bool

Sourcemodule Longid : sig ... end

Sourcemodule Pat : sig ... end

Sourceval use_new_type : loc:MLast.loc -> string -> MLast.expr -> MLast.expr

Sourcemodule Exp : sig ... end

Sourcemodule Typ : sig ... end

Sourcetype type_declaration = MLast.type_decl

Sourcetype class_declaration = MLast.class_expr MLast.class_infos

Source

val class_declaration : 
  loc:MLast.loc ->
  name:string ->
  ?virt:bool ->
  ?wrap:(MLast.class_expr -> MLast.class_expr) ->
  params:MLast.type_var list ->
  MLast.class_str_item list ->
  MLast.class_expr MLast.class_infos

Sourcemodule Str : sig ... end

Sourcemodule Me : sig ... end

Sourcemodule Mt : sig ... end

Sourcetype module_declaration = loc * string * Mt.t

Sourceval module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration

Sourcetype module_type_declaration = loc * string * Mt.t option

Source

val module_type_declaration : 
  loc:loc ->
  name:string ->
  Mt.t option ->
  module_type_declaration

Sourcemodule Sig : sig ... end

Sourcemodule WC : sig ... end

Sourcemodule Vb : sig ... end

Sourceval value_binding : loc:'a -> pat:'b -> expr:'c -> 'b * 'c

Sourcemodule Cf : sig ... end

Sourcemodule Ctf : sig ... end

Sourcemodule Cty : sig ... end

Sourcemodule Cl : sig ... end

Sourceval class_structure : self:'a -> fields:'b -> 'a * 'b

Sourcetype class_structure = Pat.t * Cf.t list

Sourceval typ_arg_of_core_type : Ppxlib.core_type -> type_arg

Sourceval openize_poly : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp

Sourceval closize_poly : MLast.ctyp -> MLast.ctyp

Source

val prepare_param_triples : 
  loc:MLast.loc ->
  extra:MLast.ctyp ->
  ?inh:(loc:MLast.loc -> string -> MLast.ctyp) ->
  ?syn:(loc:MLast.loc -> string -> MLast.ctyp) ->
  ?default_inh:MLast.ctyp ->
  ?default_syn:MLast.ctyp ->
  string list ->
  MLast.ctyp list

Sourceval typ_vars_of_typ : MLast.ctyp -> Base.String.t Base.List.t