package prbnmcn-basic-structures

  1. Overview
  2. Docs
package prbnmcn-basic-structures
Legend:
Library
Module
Module type
Parameter
Class
Class type

Real numbers

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