package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type term = int * bool
type clause = term list
type formule = clause list
type quant = bool * int list
type quants = quant list
type file = {
  1. input : int;
  2. quants : quants;
  3. formule : formule;
}
module ToS : sig ... end