Как изменить заголовок корня json

Question

Я хочу дать корню моего json заголовок

Код, который я использую в своей функции, выглядит следующим образом

SELECT row_to_json(details)
    FROM (SELECT t.id1 AS "id1", t.id1 AS "id2"
    FROM my_table t WHERE t.id1 IN(100, 101)
) as details INTO myvar;

RETURN myvar;

Вот что я получаю

{"id1":"value1", "id2":"value2"}

но я хочу получить следующее:

{"details": [{"id1":"value1", "id2":"value2"}]}

Я могу достичь желаемых результатов, добавив заголовок к выходной переменной следующим образом

RETURN '{"details":'||myvar||'}'

Конечно, это должно бытьможно сделать это более элегантно ??