sig
  val is_literal : Term.term -> bool
  val variable : Term.term -> Term.term
  val is_positive : Term.term -> bool
  val literal : Term.term -> Term.term
  val negation : Term.term -> Term.term
end
Hosted by the SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.