sig
  type var = Var.var
  type term = Term.term
  type literal = Term.literal
  type clause = Term.clause
  val to_var : string -> Read_darwin.var
  val to_term : string -> Read_darwin.term
  val to_literal : string -> Read_darwin.literal
  val to_clause : string -> Read_darwin.clause
  val to_clauses : string -> Read_darwin.clause list
  val to_clauses_from_string : string -> Read_darwin.clause list
  val to_clauses_from_file : string -> Read_darwin.clause list
end