Values
JSON values.
We define fixtypes for JSON values.
This is just a first version;
we plan to make this more rich and precise.
Subtopics
- Value/valuelist/member/memberlist
- Fixtypes of JSON
values, lists of values, members, and lists of members.
- Value-option
- Fixtype of optional JSON values.
- Irr-value
- An irrelevant value.
- Irr-member
- An irrelevant member.
