sig
  type t
  type term
  type location
  val p_cnf :
    ?loc:Ast_dimacs.Statement.location ->
    int -> int -> Ast_dimacs.Statement.t
  val clause :
    ?loc:Ast_dimacs.Statement.location ->
    Ast_dimacs.Statement.term list -> Ast_dimacs.Statement.t
end