You can search for identifiers within the package.
in-package search v0.2.0
grenier.strong
Finite.Elt
val of_int_opt : 'n set -> int -> 'n elt option
val of_int : 'n set -> int -> 'n elt
val to_int : 'n elt -> int
val compare : 'n elt -> 'n elt -> int