prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
module Float : Basic_intf.Reals with type t = float

Real numbers implemented as floating point numbers

module Rational : Basic_intf.Reals with type t = Q.t

Real numbers implemented as arbitrary-precision rational numbers