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