previous up next
Go backward to Example
Go up to Top
Go forward to Logic Evaluator
RISC-Linz logo


Instead of writing

mlets x=T0: mlets y=T1: A
we usually write
mlets x=T0, y=T1: A
or correspondingly
A mlets x=T0, y=T1.

Multiple bindings can be merged.

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next