Up – Package index » ocplib-simplex » Library ocplib-simplex » OcplibSimplex » Basic

Module `OcplibSimplex.Basic`Source

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

module Make
  (Var : ExtSigs.Variables)
  (R : ExtSigs.Rationals)
  (Ex : ExtSigs.Explanations) : 
  sig ... end