6 (* parses a string to a term *)
\r
7 val parse: string -> term
\r
8 (* parse many strings/terms, and returns the list of parsed terms + the list of free variables; variable 0 is not used *)
\r
9 val parse_many: string list -> term list * string list
\r