infix 4 ==; infix 6 ++ --; infix 7 ** //; signature NumberSig = sig (* Type *) type num; (* Binary Operations (infix) *) and ++ : num * num -> num and -- : num * num -> num and // : num * num -> num and ** : num * num -> num (* Unary Operations *) and ~~ : num -> num (* Predicates (infix) *) and == : num * num -> bool end