{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"they"}]}
   they are unknown. The actual checking of a function itself has
   containing function). Inference is used to supply types wherever
   several phases (check, regionck, writeback), as discussed in the