Go backward to Example
Go up to Top
Go forward to Logic Evaluator

Abbreviation

Instead of writing

mlets x=T₀: mlets y=T₁: A

we usually write

mlets x=T₀, y=T₁: A

or correspondingly

A mlets x=T₀, y=T₁.

Multiple bindings can be merged.

Author: Wolfgang Schreiner
Last Modification: October 6, 1999