You can search for identifiers within the package.
in-package search v0.2.0
smtml
Eval.Bitv
val unop : Ty.Unop.t -> Value.t -> Value.t
val binop : Ty.Binop.t -> Value.t -> Value.t -> Value.t
val relop : Ty.Relop.t -> Value.t -> Value.t -> bool
val cvtop : Ty.Cvtop.t -> Value.t -> Value.t