Apache Presto - json_format (json)

Consulta

presto:default> select json_format(JSON '[11,12,13]') as JSON;

Resultado

JSON 
------------ 
 [11,12,13]