blob: f36c95e7f2150dbc31d17376340c807b5ec3f749 (
plain) (
tree)
|
|
type t
type 'a interface
type protocol = ..
class type obj = object
method reference : bool
method release : unit
method hash : Concepts.Hash.hash
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 equal : t -> t -> bool
val release : t -> unit
val hash : t -> Concepts.Hash.hash
|
