diff --git a/implementations/rust/preserves/src/value/repr.rs b/implementations/rust/preserves/src/value/repr.rs index 0382ef0..ed293de 100644 --- a/implementations/rust/preserves/src/value/repr.rs +++ b/implementations/rust/preserves/src/value/repr.rs @@ -40,6 +40,10 @@ impl Domain for Arc { } pub trait NestedValue: Sized + Debug + Clone + Eq + Hash + Ord { + fn new(v: V) -> Self where Value: From { + Value::from(v).wrap() + } + fn wrap(anns: Annotations, v: Value) -> Self; fn annotations(&self) -> &Annotations;