dhall-1.19.0: tests/parser/success/builtinsB.dhall
[
1,
"x",
[
7,
{
"field0": "Bool",
"field1": [
0,
"Optional",
[
0,
"Optional",
"Bool"
]
],
"field2": "Natural",
"field3": "Integer",
"field4": "Double",
"field5": "Text",
"field6": [
0,
"List",
[
0,
"List",
"Bool"
]
]
}
],
[
8,
{
"field00": "Natural/fold",
"field01": "Natural/build",
"field02": "Natural/isZero",
"field03": "Natural/even",
"field04": "Natural/odd",
"field05": "Natural/toInteger",
"field06": "Natural/show",
"field07": "Integer/show",
"field08": "Double/show",
"field09": "List/build",
"field10": "List/fold",
"field11": "List/length",
"field12": "List/head",
"field13": "List/last",
"field14": "List/indexed",
"field15": "List/reverse",
"field16": "Optional/fold",
"field17": "Optional/build",
"field18": true,
"field19": false
}
]
]