package visitors

  1. Overview
  2. Docs
type tycon = string
type tyvar = string
type tyvars = tyvar list
type classification =
  1. | LIDENT
  2. | UIDENT
  3. | 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 =
  1. | Opaque
  2. | 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