package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type term = int * bool
type clause = term list
type dimacs_line =
  1. | Comment of string
  2. | Primitive of string * int * int
  3. | Clause of clause
type dimacs = dimacs_line list