let get_literal_info (state: state) (literal: literal) : literal_info =
  LiteralTable.find state.st_literal_info literal