You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
Jasmin.CoreConv
val pos_of_z : Z.t -> BinNums.positive
val z_of_pos : BinNums.positive -> Z.t
val cz_of_z : Z.t -> BinNums.coq_Z
val z_of_cz : BinNums.coq_Z -> Z.t
val cz_of_int : int -> BinNums.coq_Z
val int_of_cz : BinNums.coq_Z -> int