Module DomainsSource

Sourceexception Empty
Sourcetype projection =
  1. | Top
  2. | Point of Z.t
  3. | Seq of {
    1. start : Z.t;
    2. n : Z.t;
    }
Sourcemodule type S = sig ... end
module Interval : sig ... end