let
label =
function
|
Label
(lab,_,_)
->
lab
|
Case
_
|
Default
_
->
assert
false