如何更改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||'}'

肯定有可能更优雅地做到这一点吗？