chore: Renamed hydroflow_datalog_core -> dfir_datalog_core.

hydro-project · Dec 20, 2024 · 3bc34ba · 3bc34ba
1 parent f96341b
commit 3bc34ba
Show file tree

Hide file tree

Showing 75 changed files with 94 additions and 94 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -87,7 +87,7 @@ jobs:
           --bump ${{ inputs.bump }} --bump-dependencies auto
           ${{ inputs.execute && '--execute' || '--no-publish' }}
           hydroflow hydroflow_lang dfir_macro hydroflow_plus
-          hydroflow_plus_std hydroflow_datalog hydroflow_datalog_core
+          hydroflow_plus_std hydroflow_datalog dfir_datalog_core
           hydro_deploy hydro_cli hydroflow_deploy_integration
           stageleft stageleft_macro stageleft_tool
           multiplatform_test

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -10,7 +10,7 @@ members = [
     "hydro_deploy/hydroflow_deploy_integration",
     "hydroflow",
     "hydroflow_datalog",
-    "hydroflow_datalog_core",
+    "dfir_datalog_core",
     "hydroflow_lang",
     "dfir_macro",
     "hydro_lang",

diff --git a/RELEASING.md b/RELEASING.md
@@ -29,7 +29,7 @@ cargo smart-release --update-crates-index \
    --no-changelog-preview --allow-fully-generated-changelogs \
    --bump-dependencies auto --bump minor \ # or `patch`, `major`, `keep`, `auto`
    hydroflow hydroflow_lang dfir_macro hydro_lang \
-   hydroflow_datalog hydroflow_datalog_core \
+   hydroflow_datalog dfir_datalog_core \
    hydro_deploy hydro_cli hydroflow_cli_integration \
    hydroflow_plus_cli_integration \
    stageleft stageleft_macro stageleft_tool \
@@ -61,18 +61,18 @@ showing that all the changelogs can be modified. Make sure the version bumps loo
 [WARN ] Refused to publish 'hydroflow_deploy_integration' as as it didn't change.
 [INFO ] Will not publish or alter 3 dependent crates: unchanged = 'hydroflow_deploy_integration', 'variadics', 'pusherator'
 [INFO ] WOULD auto-bump dependent package 'hydroflow_lang' from 0.4.0 to 0.5.0 for publishing
-[INFO ] WOULD auto-bump dependent package 'hydroflow_datalog_core' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'hydroflow_lang'
-[INFO ] WOULD auto-bump dependent package 'hydroflow_datalog' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'hydroflow_datalog_core'
+[INFO ] WOULD auto-bump dependent package 'dfir_datalog_core' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'hydroflow_lang'
+[INFO ] WOULD auto-bump dependent package 'hydroflow_datalog' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'dfir_datalog_core'
 [INFO ] WOULD auto-bump dependent package 'hydroflow_macro' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'hydroflow_lang'
 [INFO ] WOULD auto-bump dependent package 'lattices' from 0.4.0 to 0.5.0 for publishing
 [INFO ] WOULD minor-bump provided package 'hydroflow' from 0.4.0 to 0.5.0 for publishing, for SAFETY due to breaking package 'hydroflow_datalog'
 [INFO ] WOULD minor-bump provided package 'hydro_cli' from 0.4.0 to 0.5.0 for publishing
-[INFO ] WOULD adjust 2 manifest versions due to breaking change in 'hydroflow_lang': 'hydroflow_datalog_core' 0.4.0 ➡ 0.5.0, 'hydroflow_macro' 0.4.0 ➡ 0.5.0
-[INFO ] WOULD adjust 1 manifest version due to breaking change in 'hydroflow_datalog_core': 'hydroflow_datalog' 0.4.0 ➡ 0.5.0
+[INFO ] WOULD adjust 2 manifest versions due to breaking change in 'hydroflow_lang': 'dfir_datalog_core' 0.4.0 ➡ 0.5.0, 'hydroflow_macro' 0.4.0 ➡ 0.5.0
+[INFO ] WOULD adjust 1 manifest version due to breaking change in 'dfir_datalog_core': 'hydroflow_datalog' 0.4.0 ➡ 0.5.0
 [INFO ] WOULD adjust 1 manifest version due to breaking change in 'hydroflow_datalog': 'hydroflow' 0.4.0 ➡ 0.5.0
 [INFO ] WOULD adjust version constraints in manifests of 2 packages as direct dependencies are changing: relalg, website_playground
 [INFO ] WOULD modify existing changelog for 'hydroflow_lang'.
-[INFO ] WOULD modify existing changelog for 'hydroflow_datalog_core'.
+[INFO ] WOULD modify existing changelog for 'dfir_datalog_core'.
 [INFO ] WOULD modify existing changelog for 'hydroflow_datalog'.
 [INFO ] WOULD modify existing changelog for 'hydroflow_macro'.
 [INFO ] WOULD modify existing changelog for 'lattices'.

diff --git a/hydroflow_datalog_core/CHANGELOG.md → dfir_datalog_core/CHANGELOG.md b/hydroflow_datalog_core/CHANGELOG.md → dfir_datalog_core/CHANGELOG.md
diff --git a/hydroflow_datalog_core/Cargo.toml → dfir_datalog_core/Cargo.toml b/hydroflow_datalog_core/Cargo.toml → dfir_datalog_core/Cargo.toml
@@ -1,11 +1,11 @@
 [package]
-name = "hydroflow_datalog_core"
+name = "dfir_datalog_core"
 publish = true
 version = "0.10.0"
 edition = "2021"
 license = "Apache-2.0"
-documentation = "https://docs.rs/hydroflow_datalog_core/"
-description = "Datalog implementation for Hydroflow"
+documentation = "https://docs.rs/dfir_datalog_core/"
+description = "Datalog implementation for DFIR"
 
 [lints]
 workspace = true

diff --git a/hydroflow_datalog_core/build.rs → dfir_datalog_core/build.rs b/hydroflow_datalog_core/build.rs → dfir_datalog_core/build.rs
diff --git a/hydroflow_datalog_core/src/grammar.rs → dfir_datalog_core/src/grammar.rs b/hydroflow_datalog_core/src/grammar.rs → dfir_datalog_core/src/grammar.rs
diff --git a/hydroflow_datalog_core/src/join_plan.rs → dfir_datalog_core/src/join_plan.rs b/hydroflow_datalog_core/src/join_plan.rs → dfir_datalog_core/src/join_plan.rs
diff --git a/hydroflow_datalog_core/src/lib.rs → dfir_datalog_core/src/lib.rs b/hydroflow_datalog_core/src/lib.rs → dfir_datalog_core/src/lib.rs
diff --git a/...gations_and_comments@datalog_program.snap → ...gations_and_comments@datalog_program.snap b/...gations_and_comments@datalog_program.snap → ...gations_and_comments@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...regations_and_comments@surface_graph.snap → ...regations_and_comments@surface_graph.snap b/...regations_and_comments@surface_graph.snap → ...regations_and_comments@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...ions_fold_keyed_expr@datalog_program.snap → ...ions_fold_keyed_expr@datalog_program.snap b/...ions_fold_keyed_expr@datalog_program.snap → ...ions_fold_keyed_expr@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...ations_fold_keyed_expr@surface_graph.snap → ...ations_fold_keyed_expr@surface_graph.snap b/...ations_fold_keyed_expr@surface_graph.snap → ...ations_fold_keyed_expr@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...re__tests__anti_join@datalog_program.snap → ...re__tests__anti_join@datalog_program.snap b/...re__tests__anti_join@datalog_program.snap → ...re__tests__anti_join@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...core__tests__anti_join@surface_graph.snap → ...core__tests__anti_join@surface_graph.snap b/...core__tests__anti_join@surface_graph.snap → ...core__tests__anti_join@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...__tests__collect_vec@datalog_program.snap → ...__tests__collect_vec@datalog_program.snap b/...__tests__collect_vec@datalog_program.snap → ...__tests__collect_vec@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...re__tests__collect_vec@surface_graph.snap → ...re__tests__collect_vec@surface_graph.snap b/...re__tests__collect_vec@surface_graph.snap → ...re__tests__collect_vec@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...core__tests__detuple@datalog_program.snap → ...core__tests__detuple@datalog_program.snap b/...core__tests__detuple@datalog_program.snap → ...core__tests__detuple@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...g_core__tests__detuple@surface_graph.snap → ...g_core__tests__detuple@surface_graph.snap b/...g_core__tests__detuple@surface_graph.snap → ...g_core__tests__detuple@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...s__detuple_then_flat@datalog_program.snap → ...s__detuple_then_flat@datalog_program.snap b/...s__detuple_then_flat@datalog_program.snap → ...s__detuple_then_flat@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...sts__detuple_then_flat@surface_graph.snap → ...sts__detuple_then_flat@surface_graph.snap b/...sts__detuple_then_flat@surface_graph.snap → ...sts__detuple_then_flat@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...ore__tests__expr_lhs@datalog_program.snap → ...ore__tests__expr_lhs@datalog_program.snap b/...ore__tests__expr_lhs@datalog_program.snap → ...ore__tests__expr_lhs@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/..._core__tests__expr_lhs@surface_graph.snap → ..._core__tests__expr_lhs@surface_graph.snap b/..._core__tests__expr_lhs@surface_graph.snap → ..._core__tests__expr_lhs@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...ests__expr_predicate@datalog_program.snap → ...ests__expr_predicate@datalog_program.snap b/...ests__expr_predicate@datalog_program.snap → ...ests__expr_predicate@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/..._tests__expr_predicate@surface_graph.snap → ..._tests__expr_predicate@surface_graph.snap b/..._tests__expr_predicate@surface_graph.snap → ..._tests__expr_predicate@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...s__flat_then_detuple@datalog_program.snap → ...s__flat_then_detuple@datalog_program.snap b/...s__flat_then_detuple@datalog_program.snap → ...s__flat_then_detuple@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...sts__flat_then_detuple@surface_graph.snap → ...sts__flat_then_detuple@surface_graph.snap b/...sts__flat_then_detuple@surface_graph.snap → ...sts__flat_then_detuple@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...core__tests__flatten@datalog_program.snap → ...core__tests__flatten@datalog_program.snap b/...core__tests__flatten@datalog_program.snap → ...core__tests__flatten@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...g_core__tests__flatten@surface_graph.snap → ...g_core__tests__flatten@surface_graph.snap b/...g_core__tests__flatten@surface_graph.snap → ...g_core__tests__flatten@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...g_core__tests__index@datalog_program.snap → ...g_core__tests__index@datalog_program.snap b/...g_core__tests__index@datalog_program.snap → ...g_core__tests__index@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...log_core__tests__index@surface_graph.snap → ...log_core__tests__index@surface_graph.snap b/...log_core__tests__index@surface_graph.snap → ...log_core__tests__index@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...sts__join_with_other@datalog_program.snap → ...sts__join_with_other@datalog_program.snap b/...sts__join_with_other@datalog_program.snap → ...sts__join_with_other@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...tests__join_with_other@surface_graph.snap → ...tests__join_with_other@surface_graph.snap b/...tests__join_with_other@surface_graph.snap → ...tests__join_with_other@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...ests__join_with_self@datalog_program.snap → ...ests__join_with_self@datalog_program.snap b/...ests__join_with_self@datalog_program.snap → ...ests__join_with_self@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/..._tests__join_with_self@surface_graph.snap → ..._tests__join_with_self@surface_graph.snap b/..._tests__join_with_self@surface_graph.snap → ..._tests__join_with_self@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/..._local_constraints@datalog_program-2.snap → ..._local_constraints@datalog_program-2.snap b/..._local_constraints@datalog_program-2.snap → ..._local_constraints@datalog_program-2.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...s__local_constraints@datalog_program.snap → ...s__local_constraints@datalog_program.snap b/...s__local_constraints@datalog_program.snap → ...s__local_constraints@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...s__local_constraints@surface_graph-2.snap → ...s__local_constraints@surface_graph-2.snap b/...s__local_constraints@surface_graph-2.snap → ...s__local_constraints@surface_graph-2.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...sts__local_constraints@surface_graph.snap → ...sts__local_constraints@surface_graph.snap b/...sts__local_constraints@surface_graph.snap → ...sts__local_constraints@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...log_core__tests__max@datalog_program.snap → ...log_core__tests__max@datalog_program.snap b/...log_core__tests__max@datalog_program.snap → ...log_core__tests__max@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...talog_core__tests__max@surface_graph.snap → ...talog_core__tests__max@surface_graph.snap b/...talog_core__tests__max@surface_graph.snap → ...talog_core__tests__max@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...core__tests__max_all@datalog_program.snap → ...core__tests__max_all@datalog_program.snap b/...core__tests__max_all@datalog_program.snap → ...core__tests__max_all@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...g_core__tests__max_all@surface_graph.snap → ...g_core__tests__max_all@surface_graph.snap b/...g_core__tests__max_all@surface_graph.snap → ...g_core__tests__max_all@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...sts__minimal_program@datalog_program.snap → ...sts__minimal_program@datalog_program.snap b/...sts__minimal_program@datalog_program.snap → ...sts__minimal_program@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...tests__minimal_program@surface_graph.snap → ...tests__minimal_program@surface_graph.snap b/...tests__minimal_program@surface_graph.snap → ...tests__minimal_program@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();

diff --git a/...tests__multi_detuple@datalog_program.snap → ...tests__multi_detuple@datalog_program.snap b/...tests__multi_detuple@datalog_program.snap → ...tests__multi_detuple@datalog_program.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: "prettyplease :: unparse(& wrapped)"
 ---
 fn main() {

diff --git a/...__tests__multi_detuple@surface_graph.snap → ...__tests__multi_detuple@surface_graph.snap b/...__tests__multi_detuple@surface_graph.snap → ...__tests__multi_detuple@surface_graph.snap
@@ -1,5 +1,5 @@
 ---
-source: hydroflow_datalog_core/src/lib.rs
+source: dfir_datalog_core/src/lib.rs
 expression: flat_graph_ref.surface_syntax_string()
 ---
 2v1 = unique :: < 'tick > ();