let create_literal_clause_index (productivity: bool) : (literal * clause) index = new index productivity (new literal_clause_data)