You can search for identifiers within the package.
in-package search v0.2.0
inferno
Inferno.TRef
type 'a cell
type 'a transaction
val create : 'a -> 'a cell
val get : 'a cell -> 'a
val set : 'a transaction -> 'a cell -> 'a -> unit
val tentatively : ('a transaction -> 'b) -> 'b