2022-10-25 06:21:28 +03:00
|
|
|
/- met=metadata-store, gra=graph-store
|
2022-10-25 06:49:25 +03:00
|
|
|
/- *group
|
2022-10-25 06:21:28 +03:00
|
|
|
|%
|
2022-10-25 06:49:25 +03:00
|
|
|
+$ flag (pair ship term)
|
2022-11-07 05:02:15 +03:00
|
|
|
++ graph
|
2022-10-25 06:21:28 +03:00
|
|
|
|%
|
|
|
|
|
+$ import
|
|
|
|
|
[writers=(set ship) =association:met =update-log:gra =graph:gra]
|
2022-10-25 06:49:25 +03:00
|
|
|
+$ imports (map flag import)
|
|
|
|
|
--
|
2022-10-25 08:20:40 +03:00
|
|
|
::
|
2022-10-25 06:49:25 +03:00
|
|
|
++ groups
|
|
|
|
|
|%
|
2022-11-07 05:02:15 +03:00
|
|
|
+$ import [=association:met chans=(map flag association:met) roles=(set flag) =group]
|
2022-10-25 06:21:28 +03:00
|
|
|
+$ imports (map flag import)
|
|
|
|
|
--
|
|
|
|
|
--
|
|
|
|
|
|
