let create_index (productivity: bool) (data: 'data data) : 'data Term_indexing.index = new index productivity data