This is the dynamic semantics for LML in denotational form.
It captures most of an older version of LML.

The representation of constructors hide their original names
so the results can be hard to interpret.  But with type information
it is possible!

It can be used interactively by loading aux.o, dom.o, syn.o,
equ.o, std.o, and prt.o in that order.

