Index of values

abstract loc patts body takes a location loc, a pattern list patts, and an expression body.

add_generator name gen adds the code generator gen, which maps type declarations to structure items.

add_generator name gen adds the code generator gen, which maps type declarations to signature items.

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.

drop_variance_annotations _loc tp

get_appl_path loc tp

get_conv_path ()

get_loc_err loc msg generates a compile-time error message.

get_rev_id_path id acc takes an identifier.

hash_variant str

ide loc name

ident_of_rev_path loc path takes a location loc and a reversed path rev_path to an identifier.

idp loc name

mk_expr_lst loc expr_list takes a list of expressions.

mk_patt_lst _loc patt_list takes a list of patterns.

rem_generator name removes the code generator named name.

rem_sig_generator name removes the code signature generator named name.

switch_tp_def loc ~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.

ty_var_list_of_ctyp tp acc accumulates a list of type parameters contained in tp into acc as strings.

type_is_recursive _loc id tp