t = | Succ of int | Neg of int | Plus of int * int | Sub of int * int | Times of int * int | Eq of int * int