Make.Parseval file : (Lexing.lexbuf -> Ty.token) -> Lexing.lexbuf -> Ty.statement listA function that parses an entire file, i.e until the end-of-file token, and return the list of parsed statements.
val input : (Lexing.lexbuf -> Ty.token) -> Lexing.lexbuf -> Ty.statement optionA function to parse a single statement. Returns None if it encounters the end-of-file token. Used for incremental parsing.