OOinferfixedagaincheck.ml 161 Bytes
Newer Older
1 2 3 4 5 6
class virtual ['check] cell (init) = object (self)
  val mutable x = init
  method get = x
  method set y = x <- self#check y
  method virtual check: 'check
end