OcplibSimplex (u.443288e09e5ee020df7d298492b8f1e6.ocplib-simplex.0.5.1.doc.ocplib-simplex.OcplibSimplex)

Sourcemodule AssertBounds : sig ... end

Sourcemodule Basic : sig ... end

The main entry point of the library. It provides a functor building each key module of OcplibSimplex.

Sourcemodule Core : sig ... end

module CoreSig : sig ... end

module ExtSigs : sig ... end

Sourcemodule Polys : sig ... end

Sourcemodule Rat2 : sig ... end

A representation of rationals bound, which is a pair of rationals:

Sourcemodule Result : sig ... end

Sourcemodule SolveBounds : sig ... end

Sourcemodule Version : sig ... end