aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Directory.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-09-25 21:51:33 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-09-25 21:51:33 -0300
commit584fbca6d920e9a9f91d451667f9380714ac2175 (patch)
treea163b916a6f8cb550c8b38ceb01ab01558687a40 /lib/protocols/Directory.ml
parentc7b754e96714eeeb9d315ee3de402d73a27d47db (diff)
downloadRNT-584fbca6d920e9a9f91d451667f9380714ac2175.tar.gz
RNT-584fbca6d920e9a9f91d451667f9380714ac2175.zip
dune fmt
Diffstat (limited to 'lib/protocols/Directory.ml')
-rw-r--r--lib/protocols/Directory.ml4
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)