sig
type
t =
Neg
|
Zero
|
Pos
end