Ppxlib_private.Common
val lident : string -> Astlib.Longident.t
val core_type_of_type_declaration :
Parsetree.type_declaration ->
Parsetree.core_type
val name_type_params_in_td_res :
Parsetree.type_declaration ->
(Parsetree.type_declaration, Ppxlib__.Location.Error.t Stdppx.NonEmptyList.t)
result
val name_type_params_in_td :
Parsetree.type_declaration ->
Parsetree.type_declaration
val combinator_type_of_type_declaration :
Parsetree.type_declaration ->
f:(loc:Astlib.Location.t -> Parsetree.core_type -> Parsetree.core_type) ->
Parsetree.core_type
val string_of_core_type : Parsetree.core_type -> string
val assert_no_attributes : Parsetree.attribute list -> unit
val attributes_errors :
Parsetree.attribute list ->
Ppxlib__.Location.Error.t list
val get_type_param_name_res :
(Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) ->
(string Astlib.Location.loc, Ppxlib__.Location.Error.t Stdppx.NonEmptyList.t)
result
val get_type_param_name :
(Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) ->
string Astlib.Location.loc
class type_is_recursive : Asttypes.rec_flag -> Parsetree.type_declaration list -> object ... end
val really_recursive :
Asttypes.rec_flag ->
Parsetree.type_declaration list ->
Asttypes.rec_flag
val loc_of_payload : Parsetree.attribute -> Astlib.Location.t
val loc_of_attribute : Parsetree.attribute -> Astlib.Location.t
val loc_of_extension :
(string Astlib.Location.loc * Parsetree.payload) ->
Astlib.Location.t
val curry_applications : Parsetree.expression -> Parsetree.expression
val attribute_of_warning : Astlib.Location.t -> string -> Parsetree.attribute
val is_polymorphic_variant :
Parsetree.type_declaration ->
sig_:bool ->
[> `Definitely | `Maybe | `Surely_not ]
val mk_named_sig :
loc:Astlib.Location.t ->
sg_name:string ->
handle_polymorphic_variant:bool ->
Parsetree.type_declaration list ->
Parsetree.module_type Parsetree.include_infos option
module With_errors : sig ... end