Camlp5Helpers (p.GT.0.4.0.doc.pa_gt.Pa

module Located : sig ... end

type loc = Located.t

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

val noloc : Ploc.t

type type_arg = MLast.type_var

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

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

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

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

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

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

val capitalized : string -> bool

module Longid : sig ... end

module Pat : sig ... end

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

module Exp : sig ... end

module Typ : sig ... end

type type_declaration = MLast.type_decl

type class_declaration = MLast.class_expr MLast.class_infos

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

module Str : sig ... end

module Me : sig ... end

module Mt : sig ... end

type module_declaration = loc * string * Mt.t

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

type module_type_declaration = loc * string * Mt.t option

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

module Sig : sig ... end

module WC : sig ... end

module Vb : sig ... end

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

module Cf : sig ... end

module Ctf : sig ... end

module Cty : sig ... end

module Cl : sig ... end

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

type class_structure = Pat.t * Cf.t list

val typ_arg_of_core_type : Ppxlib.core_type -> type_arg

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

val closize_poly : MLast.ctyp -> MLast.ctyp

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

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