aboutsummaryrefslogblamecommitdiffstats
path: root/lib/kernel/Lifecycle.mli
blob: f110768f4d6b30734bea27e614dc3756b8b54140 (plain) (tree)
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