Module Interval

module Interval: sig .. end
Interval sub-domains

module type S = sig .. end
module Signed: sig .. end
module Unsigned: sig .. end