convert a JSON-derived JavaScript value to an Infra value

History

Time	Change
2021-04-12 05:58:02+00:00	Created
2021-04-12 05:58:02+00:00	Associated with 38476