package prbnmcn-basic-structures

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Basic_impl.RealsSource

Real numbers

Sourcemodule Float : Basic_intf.Reals with type t = float

Real numbers implemented as floating point numbers

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

Real numbers implemented as arbitrary-precision rational numbers

OCaml

Innovation. Community. Security.