blob: 8400fd2bf73d7f23496e740c95f0a6d23126e94d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
type t
class type implementation = object
method capabilities : string BatSet.t
method admit : string -> (Handle.t, Concepts.Condition.condition) result
end
val make : #implementation -> Handle.protocol
val from : Handle.t -> t Handle.interface option
val capabilities : t Handle.interface -> string BatSet.t
val admit : t Handle.interface -> string -> (Handle.t, Concepts.Condition.condition) result
|
