You can search for identifiers within the package.
in-package search v0.2.0
type ty = {
id : int;
mutable desc : desc;
}
and desc =
| TDummy
| TInt
| TReal
| TBool
| TString
| TArray of ty * ty
| TBitVec of int
| TFloatingPoint of int * int
| TRoundingMode
| TSort of string * ty list
| TDatatype of string * ty list
| TVar of string
| TFun of ty list * ty
| TLink of ty
val cpt_ty : int Stdlib.ref
val new_type : desc -> ty
val to_string : ty -> string
module IMap : sig ... end
module SMap : sig ... end
val shorten : ty -> ty
val fun_ret : ty -> ty
val is_bool : ty -> bool
val is_dummy : ty -> bool
val get_dt_name : ty -> string
val inst : ty SMap.t -> ty IMap.t -> ty -> ty IMap.t * ty
val subst : ty IMap.t -> ty -> ty
val unify : ty -> ty -> (Stdlib.Lexing.position * Stdlib.Lexing.position) option -> unit