Module Dimacs

module Dimacs: sig .. end

Dimacs language input

module type Term = Ast_dimacs.Term

module type Statement = Ast_dimacs.Statement

Implementation requirement for the Dimacs format.

module Make: functor (L : ParseLocation.S) -> functor (T : Term  with type location := L.t) -> functor (S : Statement  with type location := L.t and type term := T.t) -> Language_intf.S  with type statement = S.t

Functor to generate a parser for the dimacs format.