blob: f110768f4d6b30734bea27e614dc3756b8b54140 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
class type lifecycle = object
method reference : bool
method release : unit
end
class type virtual controlled_lifecycle = object
inherit lifecycle
method virtual destroy : unit
end
class null : lifecycle
class virtual counted : controlled_lifecycle
|
