package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type
val section : Logtk.Util.Section.t
type id_sgn = Logtk.ID.t * bool
module IDMap : sig ... end
module IntSet = Logtk.Util.Int_set
module TST = Logtk.TypedSTerm
exception AppVarFound
val _enabled : bool ref
val total_clauses : Logtk.Util.stat
val removed_clauses : Logtk.Util.stat
val cl_syms : Logtk__TypedSTerm.t Logtk.SLiteral.t list -> Logtk.ID.Set.t
val get_pure_symbols : Logtk.ID.Set.t -> IntSet.t Logtk.ID.Map.t -> int IDMap.t list -> Logtk.ID.Set.t