Module GTCommon.HelpersBaseSource

Sourceval id : 'a -> 'a
Sourceval not_implemented : ('a, unit, string, 'b) format4 -> 'a
Sourcemodule Option : sig ... end
Sourcemodule Char : sig ... end
Sourcemodule List : sig ... end
Sourceval compare_core_type : Astlib__.Ast_502.Parsetree.core_type -> Astlib__.Ast_502.Parsetree.core_type -> int
Sourceval visit_typedecl : loc:'a -> ?onrecord:??? -> ?onmanifest:??? -> ?onvariant:??? -> ?onabstract:??? -> ?onopen:??? -> Ppxlib.type_declaration -> 'b
Sourceval affect_longident : f:(string -> string) -> Ppxlib.longident -> Ppxlib.longident
Sourceval map_longident : f:(string -> string) -> Ppxlib.longident -> Ppxlib.Longident.t
Sourcemodule SS : sig ... end
Sourceval vars_from_core_type : Ppxlib.core_type -> SS.t
Sourceval vars_from_tdecl : Ppxlib.type_declaration -> SS.t
Sourceval map_core_type : ?onconstr:??? -> onvar:(string -> Ppxlib.core_type option) -> Ppxlib.core_type -> Ppxlib.core_type
Sourceval list_first_some : f:('a -> 'b option) -> 'a list -> 'b option
Sourceval is_type_used_in : tdecl:Ppxlib.type_declaration -> Ppxlib.longident -> bool
Sourceval maybe_specialiaze : what:Ppxlib.type_declaration -> Ppxlib.core_type list -> (string * Ppxlib.core_type) list option
Sourceval specialize_for_tdecl : what:Ppxlib.type_declaration -> where:Ppxlib.type_declaration -> (string * Ppxlib.core_type) list
Sourceval with_constr_typ : Ppxlib.core_type -> ok:(Ppxlib.longident_loc -> Ppxlib.core_type list -> 'a) -> fail:(unit -> 'a) -> 'a
Sourceval constr_of_tuple : ?loc:??? -> Astlib.Ast_502.Parsetree.core_type list -> Astlib.Ast_502.Parsetree.core_type
Sourceval using_type : typename:string -> Ppxlib.type_declaration -> Astlib.Ast_502.Parsetree.core_type
Sourceval is_polyvariant : Ppxlib.core_type -> bool
Sourceval is_tuple : Ppxlib.core_type -> bool
Sourceval is_polyvariant_tdecl : Ppxlib.type_declaration -> bool
Sourceval is_tuple_tdecl : Ppxlib.type_declaration -> bool
Sourceval is_algebraic_tdecl : Ppxlib.type_declaration -> bool
Sourceval has_many_constructors_tdecl : Ppxlib.type_declaration -> bool
Sourceval unfold_tuple : Ppxlib.core_type -> Ppxlib.core_type list
Sourceval prepare_patt_match_poly : loc:Ppxlib.Location.t -> Astlib.Ast_502.Parsetree.expression -> Ppxlib.row_field_desc list -> string list option -> onrow: (Ppxlib.label Ppxlib.loc -> (string * Ppxlib.core_type) list -> Astlib.Ast_502.Parsetree.expression) -> onlabel:(string -> string -> Astlib.Ast_502.Parsetree.expression) -> oninherit: (Ppxlib.core_type list -> Ppxlib.longident -> string -> Astlib.Ast_502.Parsetree.expression) -> Astlib.Ast_502.Parsetree.expression
Sourceval map_type_param_names : f:(string -> 'a) -> (Ppxlib.core_type * 'b) list -> 'a list
Sourceval notify : ('a, Format.formatter, unit, unit) format4 -> 'a
Sourceval string_after_a : int -> string
Sourceval hash_variant : string -> int
Sourceval failwiths : ('a, Format.formatter, unit, 'b) format4 -> 'a