diff --git a/src/language.rs b/src/language.rs index c51ae826..4b829df4 100644 --- a/src/language.rs +++ b/src/language.rs @@ -398,6 +398,12 @@ impl From> for RecExpr { } } +impl From> for Vec { + fn from(val: RecExpr) -> Self { + val.nodes + } +} + impl RecExpr { /// Adds a given enode to this `RecExpr`. /// The enode's children `Id`s must refer to elements already in this list.