module Smtlib: sig .. end
Smtlib language input
module type Id = Ast_smtlib.Id
module type Term = Ast_smtlib.Term
module type Statement = Ast_smtlib.Statement
Implementation requirement for the Smtlib format.
module Make: functor (L : ParseLocation.S) -> functor (I : Id) -> functor (T : Term with type location := L.t and type id := I.t) -> functor (S : Statement with type location := L.t and type id := I.t and type term := T.t) -> Language_intf.S with type statement = S.t
Functor to generate a parser for the Smtlib format.