Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module VarSet : sig ... end
module Index : sig ... end
val make_var : unit -> 'a var
val new_type_var : unit -> typ
val new_size_var : unit -> siz
val new_name_var : unit -> name
val no_type : typ
val type_int : int list -> typ
val is_event_type : typ -> bool
val ivars_of : typ -> string list
val size_of : typ -> int
val is_lit_name : name -> bool
val type_instance : typ_scheme -> typ
val string_of_type_scheme : typ_scheme -> string
val string_of_type : ?szvars:bool -> typ -> string
val string_of_name : name -> string