let create_clause_index (productivity: bool) : clause index = new index productivity (new clause_data)