*******************************************************************************
    prefal: Self-parser of Refal-5.
    The parser takes Refal-5 source codes from a file, and returns 
    a refal expression encoding the input program.
    Comments are not removed and may be encountered as (Comment e.chars) 
    everywhere inside the parser output.

Copyright (C): RefalScope Project, 2004-2023
Version 23.08.2023 / Version ПѮ 1.00.230828

Home web-page: http://www.botik.ru/pub/local/scp/refal5/
*******************************************************************************

The Refal-5 parser name is prefal. Now we are going to report how to use prefal.

1. Copy prefal.rsl module in your working Refal directory. Put the following line

$EXTERN prefal;

   in the file containing your Refal program having to manipulate with Refal programs. The dollar sign has to be in the first column.

2. Now you may apply the parser

   <prefal e.fname>

where e.fname is the name of a file containing a program to be transformed;

3. To run your transforming program use the command:

    refgo program+prefal


That is all.
