1    private@
2    
3    type A @abstract
4    type B =
5        inherit A
6    
7    fun to_string (x : A) = "A"
8    fun to_string (x : B) = "B"
9    
10   do
11       let b = B.new
12       assert Kd.to_string b == "B"
13