module 0x8675309::M {
    struct S { u: u64 }
    struct R {
        f: u64
    }

    fun t0(x: u64, r: R, s: S) {
        false > true;
        1 > false;
        false > 1;
        @0x0 > @0x1;
        (0: u8) > (1: u128);
        r > r;
        s > s;
        0 > 1 > 2;
        (1 > false) && (@0x0 > 0);
        () > ();
        1 > ();
        (0, 1) > (0, 1, 2);
        (1, 2) > (0, 1);
    }
}