let
bkind_stmt bk =
match
bk
with
|
Bfct
->
None
|
Bstmt
s
|
Bthen
s
|
Belse
s
|
Bloop
s
->
Some
s