Module Dl_number

module Dl_number: sig .. end

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 ^* web site.
^*Other names and brands may be claimed as the property of others.