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