Source file `fmSimplexPlugin.ml`

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical FmSimplexPlugin.FmSimplexIneqs *)
module FmSimplexIneqs = FmSimplexPlugin__FmSimplexIneqs

(** @canonical FmSimplexPlugin.Simplex *)
module Simplex = FmSimplexPlugin__Simplex

(** @canonical FmSimplexPlugin.Simplex_cache *)
module Simplex_cache = FmSimplexPlugin__Simplex_cache