You can search for identifiers within the package.
in-package search v0.2.0
module type S = sig ... end
S contains just the line segments that can be specialised to an underlying integer implementation.
S
module Make (Integer : Progress_engine.Integer.S) : S with type integer := Integer.t
module type Ext = sig ... end
Ext is S extended with non-integer-dependent segments as well.
Ext