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.