diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-25 21:51:33 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-25 21:51:33 -0300 |
| commit | 584fbca6d920e9a9f91d451667f9380714ac2175 (patch) | |
| tree | a163b916a6f8cb550c8b38ceb01ab01558687a40 /lib/kernel/Prototype.mli | |
| parent | c7b754e96714eeeb9d315ee3de402d73a27d47db (diff) | |
| download | RNT-584fbca6d920e9a9f91d451667f9380714ac2175.tar.gz RNT-584fbca6d920e9a9f91d451667f9380714ac2175.zip | |
dune fmt
Diffstat (limited to 'lib/kernel/Prototype.mli')
| -rw-r--r-- | lib/kernel/Prototype.mli | 35 |
1 files changed, 29 insertions, 6 deletions
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 |
