You can search for identifiers within the package.
in-package search v0.2.0
ff
Ff
module type BASE = sig ... end
Base module signature for a finite field
module type PRIME = sig ... end
Module type for prime field of the form GF(p) where p is prime
module type PRIME_WITH_ROOT_OF_UNITY = sig ... end
Module type for prime field with additional functions to manipulate roots of unity
module MakeFp (S : sig ... end) : PRIME_WITH_ROOT_OF_UNITY