S.Special
Specialization for booleans, integers and floats.
Open this module to use it.
module Sb : S with type 'a v = bool
Specialization for booleans.
module Si : S with type 'a v = int
Specialization for integers.
module Sf : S with type 'a v = float
Specialization for floats.