@@ -15,6 +15,7 @@ builtins =
1515 state = [("text", string), ("start", int), ("end", int)]
1616 in [ ("String", ([], listOf char))
1717 , ("Time", ([], float))
18+ , ("KeyCode", ([], int))
1819 , ("Touch", ([], RecordT (Map.fromString touch) EmptyRecord))
1920 , ("TextState", ([], RecordT (Map.fromString state) EmptyRecord))
2021 ]