You can search for identifiers within the package.
in-package search v0.2.0
module Z : BigIntSig.EXTENDED
module R : RandomSig.S
val random : Z.t -> Z.t
random range generates a random number comprised between 0 (included) and range (excluded). range must be positive.
random range
range