visitors

An OCaml syntax extension for generating visitor classes
type tycon = string
type tyvar = string
type tyvars = tyvar list
type classification =
| LIDENT
| UIDENT
| OTHER
val classify : string -> classification
val parse : string -> Ppxlib.longident
val is_valid_mod_longident : string -> bool
val is_valid_class_longident : string -> bool
val is_valid_method_name_prefix : string -> bool
val present : string -> Ppxlib.Parsetree.attributes -> bool
type opacity =
| Opaque
| NonOpaque
val identifier : string Ppx_deriving.Arg.conv
val name : Ppxlib.Parsetree.attributes -> string option
val maybe : 'a option -> 'a0 -> 'a1
exception Occurs of Ppxlib.Ast_helper.loc
val occurs_type : tyvar -> Ppxlib.Parsetree.core_type -> unit
val occurs_types : tyvar -> Ppxlib.Parsetree.core_type list -> unit
val occurs_row_field : tyvar -> Ppxlib.Parsetree.row_field -> unit
val occurs_quantifiers : tyvar -> string list -> bool
val occurs_payload : tyvar -> Ppxlib.Parsetree.payload -> unit
val unsupported : Ppxlib.Parsetree.core_type -> 'a
val at_opaque : ( Ppxlib.Parsetree.core_type -> unit ) -> Ppxlib.Parsetree.core_type -> unit
val check_poly_under_opaque : tyvar list -> Ppxlib.Parsetree.core_type list -> unit
type substitution = tyvar -> Ppxlib.Parsetree.core_type
type renaming = tyvar -> tyvar