This construction is to SML's handle what switch is to case. For example:
try block1 with pat1 => block2 | pat2 => block3 end