static SCode RewriteAsSameType(PrimitiveObjectType left, SCode right) { return(PrimitiveCombination2.Make(Primitive.IsSameType, left.Operand, right)); }
static SCode RewriteAsSameType(PrimitiveObjectType left, SCode right) { return PrimitiveCombination2.Make (Primitive.IsSameType, left.Operand, right); }