'a Term_indexing.data ->
('a Term_indexing.data -> 'a Term_indexing.predicate_index) ->
object
  method find : Term_indexing.literal -> 'a Term_indexing.predicate_index
  method fold :
    ('b -> Term_indexing.literal -> 'a Term_indexing.predicate_index -> 'b) ->
    'b -> 'b
  method is_empty : bool
  method iter :
    (Term_indexing.literal -> 'a Term_indexing.predicate_index -> unit) ->
    unit
end