You can search for identifiers within the package.
in-package search v0.2.0
val poseidon128_full_round : matrix:Plompiler.Csir.Scalar.t array array -> k:Plompiler.Csir.Scalar.t array -> (scalar repr * scalar repr * scalar repr) -> scalar list repr t
val poseidon128_four_partial_rounds : matrix:Plompiler.Csir.Scalar.t array array -> ks:Plompiler.Csir.Scalar.t array array -> (scalar repr * scalar repr * scalar repr) -> scalar list repr t