You can search for identifiers within the package.
in-package search v0.2.0
val width : int
The state size
val full_rounds : int
The total number of full rounds
val partial_rounds : int
The number of partial 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 partial_round_idx_to_permute : int
The index of the element of the state to permute during the partial rounds