You can search for identifiers within the package.
in-package search v0.2.0
This module defines a standard signature for modules providing fixed-point arithmetic.
type fp_tag
type integral_tag
module type Safe = sig ... end
A signature for modules implementing a fixed-point arithmetic.
module type Full = sig ... end