Source file `ocplibSimplex.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
(* generated by dune *)

(** @canonical OcplibSimplex.AssertBounds *)
module AssertBounds = OcplibSimplex__AssertBounds

(** @canonical OcplibSimplex.Basic *)
module Basic = OcplibSimplex__Basic

(** @canonical OcplibSimplex.Core *)
module Core = OcplibSimplex__Core

(** @canonical OcplibSimplex.CoreSig *)
module CoreSig = OcplibSimplex__CoreSig

(** @canonical OcplibSimplex.ExtSigs *)
module ExtSigs = OcplibSimplex__ExtSigs

(** @canonical OcplibSimplex.Polys *)
module Polys = OcplibSimplex__Polys

(** @canonical OcplibSimplex.Rat2 *)
module Rat2 = OcplibSimplex__Rat2

(** @canonical OcplibSimplex.Result *)
module Result = OcplibSimplex__Result

(** @canonical OcplibSimplex.SolveBounds *)
module SolveBounds = OcplibSimplex__SolveBounds

(** @canonical OcplibSimplex.Version *)
module Version = OcplibSimplex__Version