OOinferfixed.ml 152 Bytes
Newer Older
1 2 3 4 5 6
class virtual ['a] int_cell = object (self)
  val mutable x = 0
  method get = x
  method set y = x <- self#check y
  method virtual check: 'a -> _
end