You can search for identifiers within the package.
in-package search v0.2.0
rfsm
Types.Index
type t =
| TiConst of int
| TiVar of string
| TiBinop of string * t * t
type env = (string * int) list
exception Illegal_op of string
exception Illegal_type_index of t
exception Unbound_type_index of string
val subst : env -> t -> t
val vars_of : t -> VarSet.t
val to_string : t -> string