Apache Presto - json_format (json)

Query

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

Risultato

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