mod TEST {[ Elt ]}
select TEST

eof

?

show

show ?

sh

sh ?

select RAT
show
show ops
show sorts
show rules
show eqs
show op (_ + _)
describe op (_ + _)

open RAT
show
show ops
show sorts
show rules
show eqs
show op (_ + _)
describe op (_ + _)
close

set auto context on
mod TEST {[ Elt ]}

set ?

show all switched