let create_literal_index (productivity: bool) : literal index =
  new index productivity (new literal_data)