You can search for identifiers within the package.
in-package search v0.2.0
val width : int
val full_rounds : int
val partial_rounds : int
val batch_size : int
val round_constants : string array
val linear_transformation : string array array
val partial_round_idx_to_permute : int
val alpha : Z.t