sig type t = Neg | Zero | Pos end