diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:53:45 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:53:45 -0300 |
| commit | d4f603fa04283efe54c79b5f7664c4c9bc193857 (patch) | |
| tree | 4d1ad9b273e9cc305bb02d1a9a8127169799d019 /lib/kernel/Multigroup.ml | |
| parent | 8cddc12efdff4fe1742039df493ab5e425a685c4 (diff) | |
| download | RNT-d4f603fa04283efe54c79b5f7664c4c9bc193857.tar.gz RNT-d4f603fa04283efe54c79b5f7664c4c9bc193857.zip | |
concat map
Diffstat (limited to 'lib/kernel/Multigroup.ml')
| -rw-r--r-- | lib/kernel/Multigroup.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/Multigroup.ml b/lib/kernel/Multigroup.ml index 13ca7e0..9fbd386 100644 --- a/lib/kernel/Multigroup.ml +++ b/lib/kernel/Multigroup.ml @@ -226,7 +226,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct method check = let open Utilities.Result in let* named = Prototype.Directory.children (relations ?bind storage denial_tree) in - List.map (held ?bind) named |> Utilities.List.sequence |> Result.map List.concat + Utilities.List.concat_map (held ?bind) named method protocols : Protocols.Handle.protocol list = let open Utilities.Result in |