let
inv =
function
|
Nonneg
->
Pos
|
Nonpos
->
Neg
|
Zero
->
F
|
sgn
->
sgn