sig
type
t =
Eq
|
Ne
|
Ugt
|
Uge
|
Ult
|
Ule
|
Sgt
|
Sge
|
Slt
|
Sle
end