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