Module Dl_number

module Dl_number: sig .. end
Representation of numbers for Difference Logic.

exception Overflow
exception Underflow
module type T = sig .. end
module type Integral_value = sig .. end
module Small_integers: T 
module Safe_integers: T 
module Big_integers: T 
module Floats: T 
module Rationals: T 
module Stretched_integers: 
functor (N : Integral_value) -> T

Hosted by the Logo* web site.
*Other names and brands may be claimed as the property of others.