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.