sig
type t =
Xchg
| Add
| Sub
| And
| Nand
| Or
| Xor
| Max
| Min
| UMax
| UMin
| FAdd
| FSub
| FMax
| FMin
| UInc_Wrap
| UDec_Wrap
| USub_Cond
| USub_Sat
end