usesuper::{node_ref::NodeRef, NodeId};/// A trait that provides the [`NodeId`]
pubtraitNodeIdProver{/// Returns the [`NodeId`]
fnnode_id(&self)->&NodeId;}implNodeIdProver for&NodeRef<'_>{fnnode_id(&self)->&NodeId{&self.id
}}implNodeIdProver for&NodeId{fnnode_id(&self)->Self{self}}