let from_string s = (* print_string "PARSE FROM STRING"; print_newline(); *) let lexbuf = Lexing.from_string s in let result = Parser.program Lexer.token lexbuf in (* print_string "Parsing string...\n"; List.iter (fun x -> Lambda.print x ; print_newline() ) result; print_string "Environment:\n"; Lambda.print_var_env !Lambda.var_env; print_newline();*) result