You can search for identifiers within the package.
in-package search v0.2.0
type cmd
type state
type sut
val arb_cmd : state -> cmd QCheck.arbitrary
val init_state : state
val next_state : cmd -> state -> state
val init_sut : unit -> sut
val cleanup : sut -> unit
val run_cmd : cmd -> state -> sut -> bool
val precond : cmd -> state -> bool