Preface_specs.Types
Signatures representing types. Mainly used as a functor parameter
module type T0 = sig ... end
module type T1 = sig ... end