package ocplib-simplex

  1. Overview
  2. Docs
module type Variables = sig ... end

Interface required for variables

module type Rationals = sig ... end

Interface required for rationnals

module type Explanations = sig ... end

Interface of explanations