let
unop =
function
|
Neg
->
`
Uminus
|
BNot
->
`
Ubw_not
|
LNot
->
`
Unot