blob: 1968ffcbf0ff143e452338360a2e68d4ef4dd3b8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
class type implementation = object
method within : Handle.t -> (Handle.t, Concepts.Condition.condition) result
end
type Handle.protocol += Derived of implementation
type t = implementation
let make impl = Derived (impl :> implementation)
let from handle = Handle.into handle (function Derived impl -> Some impl | _ -> None)
let within i directory = Handle.invoke i (fun o -> o#within directory)
|
