From 584fbca6d920e9a9f91d451667f9380714ac2175 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 25 Sep 2026 21:51:33 -0300 Subject: dune fmt --- lib/kernel/Prototype.mli | 35 +++++++++++++++++++++++++++++------ 1 file changed, 29 insertions(+), 6 deletions(-) (limited to 'lib/kernel/Prototype.mli') diff --git a/lib/kernel/Prototype.mli b/lib/kernel/Prototype.mli index 919f5d3..db22b63 100644 --- a/lib/kernel/Prototype.mli +++ b/lib/kernel/Prototype.mli @@ -1,29 +1,52 @@ -val mixture_of : 'a -> (('a -> Protocols.Handle.t) -> 'a -> Protocols.Handle.protocol list) -> Protocols.Handle.t +val mixture_of : + 'a -> (('a -> Protocols.Handle.t) -> 'a -> Protocols.Handle.protocol list) -> Protocols.Handle.t + val mixture : Protocols.Handle.protocol list -> Protocols.Handle.t module Directory : sig val of_properties : (string * Protocols.Handle.t) list -> Protocols.Handle.protocol - module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY with type t = string) (V : Merkle.VALUE) : sig + module OfTree + (S : Abstract.Storage.STORAGE) + (K : Merkle.KEY with type t = string) + (V : Merkle.VALUE) : sig module Tree : module type of Merkle.Interface (S) (K) (V) - val make : storage:S.connection -> constructor:(V.t -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> node:Tree.node -> Protocols.Handle.protocol + + val make : + storage:S.connection -> + constructor:(V.t -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> + node:Tree.node -> + Protocols.Handle.protocol end end module Associative : sig - val of_properties : (string * (Protocols.Handle.t option -> (Protocols.Handle.t, Concepts.Condition.condition) result)) list -> Protocols.Handle.protocol + val of_properties : + ( string + * (Protocols.Handle.t option -> (Protocols.Handle.t, Concepts.Condition.condition) result) ) + list -> + Protocols.Handle.protocol - val update_only : (Protocols.Handle.t -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> (Protocols.Handle.t option -> (Protocols.Handle.t, Concepts.Condition.condition) result) + val update_only : + (Protocols.Handle.t -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> + Protocols.Handle.t option -> + (Protocols.Handle.t, Concepts.Condition.condition) result module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY with type t = string) : sig module Tree : module type of Merkle.Make (S) (K) - val make : storage:S.connection -> constructor:(Tree.node -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> node:Tree.node -> Protocols.Handle.protocol + + val make : + storage:S.connection -> + constructor:(Tree.node -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> + node:Tree.node -> + Protocols.Handle.protocol end end module Addressable : sig module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY) : sig module Tree : module type of Merkle.Make (S) (K) + val make : node:Tree.node -> Protocols.Handle.protocol end end -- cgit v1.2.3