let
exp_inverse =
function
|
Pos
->
Neg
|
Neg
->
Pos