This directory contains parsing code which resolves operator fixity
and precedence, with some interesting invariants. (This code is part
of the parser for the language Twelf.)

The following command runs the sort checker on all of the files in
this example, in the appropriate order:

    use "sortcheck-usefile.sml";