From 3e56cf3d7e76390dd6c3544560cfd83649868e49 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 27 Aug 2021 16:52:11 +0200
Subject: [PATCH] NestedValue::symbol

---
 implementations/rust/preserves/src/value/repr.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/implementations/rust/preserves/src/value/repr.rs b/implementations/rust/preserves/src/value/repr.rs
index d7bb455..3fa4edc 100644
--- a/implementations/rust/preserves/src/value/repr.rs
+++ b/implementations/rust/preserves/src/value/repr.rs
@@ -35,6 +35,10 @@ pub trait NestedValue<D: Embeddable>: Sized + Debug + Clone + Eq + Hash + Ord {
         Value::Embedded(e.into()).wrap()
     }
 
+    fn symbol(n: &str) -> Self {
+        Value::symbol(n).wrap()
+    }
+
     fn wrap(anns: Annotations<Self, D>, v: Value<Self, D>) -> Self;
 
     fn annotations(&self) -> &Annotations<Self, D>;