From 82f8bf61e1ded0488334ca4a4b859e969cac100f Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 19 Sep 2026 03:42:12 +0000 Subject: Associative collections on top of prolly trees --- lib/protocols/Associative.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'lib/protocols/Associative.ml') diff --git a/lib/protocols/Associative.ml b/lib/protocols/Associative.ml index aa691d0..66de5ed 100644 --- a/lib/protocols/Associative.ml +++ b/lib/protocols/Associative.ml @@ -1,5 +1,5 @@ class type implementation = object - method update : string -> Handle.t option -> Handle.t option -> (Handle.t, Concepts.Condition.condition) result + method update : string -> Handle.t option -> (Handle.t, Concepts.Condition.condition) result end type Handle.protocol += Associative of implementation @@ -10,7 +10,7 @@ let make impl = Associative (impl :> implementation) let from handle = Handle.into handle (function Associative impl -> Some impl | _ -> None) -let update i key reference value = Handle.invoke i (fun o -> - let open Utilities.Result in - let* h = o#update key reference value in - Handle.require from h) +let update i key value = Handle.invoke i (fun o -> + let open Utilities.Result in + let* h = o#update key value in + Handle.require from h) -- cgit v1.2.3