(* * Test the precedence of '#' *) obj L = integer*; obj T = l:L and i:integer; op Op (t:T) -> integer = ( #t.l + #(t.l); );