sig type t = Alpha | Add | Multiply | None end