1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
let _ =
let a :> x = v in
let a : x :> y = v in
let a = (v :> x) in
let a = (v : x :> y) in
let a : x :> y = (v : x :> y) in
()
let a :> x = v
let a : x :> y = v
let a = (v :> x)
let a = (v : x :> y)
let a : x :> y = (v : x :> y)
class c =
let a :> x = v in
let a : x :> y = v in
let a = (v :> x) in
let a = (v : x :> y) in
let a : x :> y = (v : x :> y) in
object end
let f (type a) :> a M.u = function z -> z
let f x (type a) :> a M.u = function z -> z
|
