aboutsummaryrefslogblamecommitdiffstats
path: root/lib/protocols/Handle.mli
blob: 099f56304497236c1bd215ddac1fe30f1a2bf9e6 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12











                                  
                    






                                                              
type t

type 'a interface

type protocol = ..

class type obj = object
  method reference : bool
  method release : unit
  method protocols : protocol list
end

val make : #obj -> t

val into : t -> (protocol -> 'a option) -> 'a interface option

val invoke : 'a interface -> ('a -> 'b) -> 'b

val copy : t -> t option
val release : t -> unit