Module 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.