"Definitions of types and offsets appropriate for trees built by ADAPLEX parser" "" "Define MSETG to SETG an atom and make it manifest as well" > "INDENTATION and INDENT-AMT are used in pretty printing of ADAPLEX" "Define type for USE statement" > ITERATION LIST>> "FOR loops have iteration spec and a list of commands" > > "Function to print for loops nicely" > > > >> "" "Type ITERATION specifies the range of a for loop." IDENTIFIER ANY ANY ATOM >> > > > > > > >) (ELSE )> > > >)> RANDOM> > >)>> "Type RETRIEVE is produced by a Retrieve statement in the language" ANY IDENTIFIER LIST>> > > > > > > > "" "Type PRINTYPE is produced for a PRINT command" > "Various kinds of IFs become IFTYPE. IFTYPE is a list of CLAUSEs. Each clause has a predicate and a list of things to do on truth." ELSE> ) (ELSE ) (ELSE )> > )> > > > >> .L> > ANY LIST>> > > "" "Explicit sets become lists of the explicit objects in the set" > "Type FCN is for entity function calls" IDENTIFIER ANY>> > > > > > "Type RESTRICTION is for restricted sets. It has a variable, an input set and a predicate" IDENTIFIER ANY ANY>> > > > > > > > "" "Type OPERATOR is for +,- etc." ATOM ANY ANY>> > > > ;"Binary operator" OPERATOR> )> > OPERATOR> )> >> 2> >) (ELSE > )> OPERATOR> )> > OPERATOR> )>) (ELSE >> 2> >) (ELSE > )> >)>> "" "Type QUANTIFIER is for DAPLEX quantifiers FOR SOME etc." ATOM FIX IDENTIFIER ANY ANY ANY>> > > > > > > > >) (ELSE AT-LEAST> "AT LEAST ") (ELSE "AT MOST ")>> >)> > > >)> >> ATOM FIX ANY>> > > > ATOM ANY >> > > > > ATOM ANY ANY>> > > > >> IDENTIFIER ANY>> > > IDENTIFIER >> > > > LIST LIST>> > > IDENTIFIER ANY>> > > IDENTIFIER LIST > > >> > > > > > > "Utility print stuff" ) )) > ) (ELSE )>> .L>> ) > .L>> > > > ,TYPES ,PSUBRS>> > ,TYPES>>