blob: 7b0a9966781bbc9fc69c5a08801cca87429256c5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
type t
type 'a interface
type protocol = ..
class type obj = object
method reference : bool
method release : unit
method is_managed : bool
method hash : Concepts.Hash.hash
method to_string : string
method protocols : protocol list
end
val make : #obj -> t
val into : t -> (protocol -> 'a option) -> 'a interface option
val from : 'a interface -> t
val invoke : 'a interface -> ('a -> 'b) -> 'b
val copy : t -> t option
val equal : t -> t -> bool
val release : t -> unit
val hash : t -> Concepts.Hash.hash
val protocols : t -> protocol list
val to_string : t -> string
val require : (t -> 'a interface option) -> t -> ('a interface, Concepts.Condition.condition) result
val with_autorelease : (unit -> 'a) -> 'a
|
