let
label_at_closure =
function
|
Fclos
(_,label)
->
label
|
Mclos
mc
->
M
.label_at_closure mc