blob: ccb63e1a1ac5d23c9f1a502d3c3647a0e646f454 (
plain) (
tree)
|
|
type t
(** [within] is the directory the program's paths resolve against: the
branch state a stored program was read through, or whatever part of
the tree a caller hands over. *)
class type implementation = object
method invoke :
Handle.t list -> within:Handle.t -> (Handle.t, Concepts.Condition.condition) result
end
val make : #implementation -> Handle.protocol
val from : Handle.t -> t Handle.interface option
val require : Handle.t -> (t Handle.interface, Concepts.Condition.condition) result
val invoke :
t Handle.interface ->
Handle.t list ->
within:Handle.t ->
(Handle.t, Concepts.Condition.condition) result
|
