diff options
Diffstat (limited to 'lib/kernel/Prototype.ml')
| -rw-r--r-- | lib/kernel/Prototype.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/kernel/Prototype.ml b/lib/kernel/Prototype.ml index ea1083b..217b221 100644 --- a/lib/kernel/Prototype.ml +++ b/lib/kernel/Prototype.ml @@ -120,8 +120,9 @@ module Directory = struct method list = SI.with_read storage (Fun.flip Tree.keys node) method find k = + let open Utilities.Result in SI.with_read storage (fun tx -> Tree.lookup tx k node) - |> Utilities.Result.fmap (function + |>> (function | None -> Ok None | Some x -> constructor x |> Result.map Option.some ) end |