Module Predicate.PredicateTable

module PredicateTable: sig .. end

val find : Predicate.predicate_table -> Term.symbol -> Predicate.predicate

val iter : (Term.symbol -> Predicate.predicate -> unit) ->
       Predicate.predicate_table -> unit