i think what it would look like would be adding a method to

trait Node

that is approximately

fn memoize(&self) -> bool