R.refine_file_report false "paths.sig";
R.refine_file_report false "intsyn.sig";
R.refine_file_report false "stream.sml";
R.refine_file_report false "lexer.sig";
R.refine_file_report false "parsing.sig";
R.refine_file_report false "names.sig";
R.refine_file_report false "recon-term.sig";

R.refine_file_report false "parse-term.sig";

R.refine_file_report true "parse-term.fun";