Hash :
858201c7
Author :
Date :
2019-07-10T21:45:22
int unit
string nat map
list record bool
----------------------------------------------------
[
["builtin", "int"], ["builtin", "unit"],
["builtin", "string"], ["builtin", "nat"], ["builtin", "map"],
["builtin", "list"], ["builtin", "record"], ["builtin", "bool"]
]
----------------------------------------------------
Checks for builtins.