module Gen: sig .. end
val regular_constr_of_revised_constr : string -> string
val exApp_of_list : Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr
expr_app_of_list l takes list l of expressions e1; e2; e3; ...
and returns the expression e1 e2 e3. C.f.: Ast.exSem_of_list.
val tyArr_of_list : Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp
tyArr_of_list l takes list l of types e1; e2; e3; ... and
returns the type e1 -> e2 -> e3. C.f.: Ast.exSem_of_list.
val paOr_of_list : Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt
paOr_of_list l takes list l of patterns p1; p2; p3; ... and returns
the pattern p1 | p2 | p3 | ...
val gensym : ?prefix:string -> unit -> string
gensym ?prefix () generates a fresh variable name with prefix.
When used with the default parameters, it will return: _x__001,
_x__002, _x__003, ...
prefix : default = "_x"
val error : Camlp4.PreCast.Ast.ctyp -> fn:string -> msg:string -> 'a
error tp ~fn ~msg raises an error with msg on type tp occuring
in function fn.
val unknown_type : Camlp4.PreCast.Ast.ctyp -> string -> 'a
unknown_type tp fn type tp cannot be handled by function fn.
val ty_var_list_of_ctyp : Camlp4.PreCast.Ast.ctyp -> string list -> string list
ty_var_list_of_ctyp tp acc accumulates a list of type parameters
contained in tp into acc as strings.
val get_rev_id_path : Camlp4.PreCast.Ast.ident -> string list -> string list
get_rev_id_path id acc takes an identifier.
Returns a reversed
module path (list of strings) denoting this identifier, appending
it to acc.
val ident_of_rev_path : Camlp4.PreCast.Ast.Loc.t -> string list -> Camlp4.PreCast.Ast.ident
ident_of_rev_path loc path takes a location loc and a reversed path
rev_path to an identifier.
Returns identifier denoting the
bound value.
val get_appl_path : Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ident
get_appl_path loc tp
Returns the identifier path associated with
a polymorphic type.
val abstract : Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.patt list ->
Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr
abstract loc patts body takes a location loc, a pattern list
patts, and an expression body.
Returns a function expression
that takes the patterns as arguments, and binds them in body.
val apply : Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.expr ->
Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr
apply loc f_expr arg_exprs takes a location loc, an expression
f_expr representing a function, and a list of argument expressions
arg_exprs.
Returns an expression in which the function is
applied to its arguments.
val switch_tp_def : alias:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
sum:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
record:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
variants:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
mani:(Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
nil:(Camlp4.PreCast.Ast.Loc.t -> 'a) -> Camlp4.PreCast.Ast.ctyp -> 'a
switch_tp_def ~alias ~sum ~record ~variants ~mani tp_def
takes a handler function for each kind of type definition and
applies the appropriate handler when tp_def matches.
val mk_expr_lst : Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr
mk_expr_lst loc expr_list takes a list of expressions.
Returns an expression representing a list of expressions.
val mk_patt_lst : Camlp4.PreCast.Ast.Loc.t ->
Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt
mk_patt_lst _loc patt_list takes a list of patterns.
Returns a pattern representing a list of patterns.
val get_tparam_id : Camlp4.PreCast.Ast.ctyp -> string
get_tparam_id tp
Raises Failure otherwise.
Returns the string identifier associated with
tp if it is a type parameter.
val type_is_recursive : ?stop_on_functions:bool ->
?short_circuit:(Camlp4.PreCast.Ast.ctyp -> bool option) ->
string -> Camlp4.PreCast.Ast.ctyp -> bool
type_is_recursive ?short_circuit id tp
Returns whether the type tp with name id
refers to itself, assuming that it is not mutually recursive with
another type.
stop_on_functions : allows to disregard the recursive occurences appearing in
arrow types. The default is to disregard them.
short_circuit : allows you to override the search for certain
type expressions.
val drop_variance_annotations : Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp
drop_variance_annotations tp
Returns the type resulting from dropping
all variance annotations in tp.
val find_record_default : Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.expr option
find_record_default loc
Returns the optional default expression
associated with the record field at source location loc if defined.
val delay_sig_item : Camlp4.PreCast.Ast.sig_item -> unit
delay_sig_item item places item at the end of the current signature