prbnmcn-basic-structures

Base package for prbnmcn-* packages
package prbnmcn-basic-structures
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library prbnmcn-basic-structures
Module Basic_structures . Basic_impl . Reals
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