let
case_of =
function
|
Tconst
(
ConstInt
s)
->
Some
s
|
_
->
None