diff options
Diffstat (limited to 'lib/protocols/Directory.ml')
| -rw-r--r-- | lib/protocols/Directory.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/protocols/Directory.ml b/lib/protocols/Directory.ml index 0d2507e..232a47e 100644 --- a/lib/protocols/Directory.ml +++ b/lib/protocols/Directory.ml @@ -4,13 +4,9 @@ class type implementation = object end type Handle.protocol += Directory of implementation - type t = implementation let make impl = Directory (impl :> implementation) - let from handle = Handle.into handle (function Directory impl -> Some impl | _ -> None) - let list i = Handle.invoke i (fun o -> o#list) - let find i name = Handle.invoke i (fun o -> o#find name) |