let create_predicate_index (productivity: bool) (data: 'data data) : 'data Term_indexing.predicate_index = new predicate_index productivity data