package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type term = Term.t
type subst = Subst.t
module type LEAF = sig ... end
module type TERM_IDX = sig ... end
type lits = term SLiteral.t Iter.t

Iter of literals, as a cheap abstraction on query clauses

type labels = Util.Int_set.t
module type CLAUSE = sig ... end
module type SUBSUMPTION_IDX = sig ... end
module type EQUATION = sig ... end
module type UNIT_IDX = sig ... end