You can search for identifiers within the package.
in-package search v0.2.0
val width : int
The state size
val rounds : int
The number of rounds
val round_constants : string array
The round constants, given in decimal representation
val mds_matrix : string array array
The MDS matrix, given in decimal representation
val alpha : Z.t
val alphainv : Z.t