aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.mli
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/kernel/Multigroup.mli10
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/kernel/Multigroup.mli b/lib/kernel/Multigroup.mli
index 2df41e6..f8e2555 100644
--- a/lib/kernel/Multigroup.mli
+++ b/lib/kernel/Multigroup.mli
@@ -3,6 +3,14 @@ module Make (S : Abstract.Storage.STORAGE) : sig
val encode : t -> Concepts.Blob.t
val decode : Concepts.Blob.t -> (t, Concepts.Condition.condition) result
- val wrap : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result
+
+ (** [bind] runs the stored programs read through the multigroup; see
+ [EphemeralRelation.binding]. *)
+ val wrap :
+ ?bind:EphemeralRelation.binding ->
+ S.connection ->
+ t ->
+ (Protocols.Handle.t, Concepts.Condition.condition) result
+
val make : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result
end