sig   type t = Xchg | Add | Sub | And | Nand | Or | Xor | Max | Min | UMax | UMin end