Definition jsonStringOne (t : jsonToken) : string :=
  match t with
  | JTTrue        => "true"
  | JTFalse       => "false"
  | JTInteger n   => string_of_nat n
  | JTFloat       => "#"
  | JTString s    => """" ++ s ++ """"
  | JTObjectStart => "{"
  | JTObjectEnd   => "}"
  | JTColon       => ":"
  | JTComma       => ","
  | JTArrayStart  => "["
  | JTArrayEnd    => "]"
  end.
