/// Adds a given enode to this `RecExpr`.
/// The enode's children `Id`s must refer to elements already in this list.
Adds a given enode to this `RecExpr`.
The enode's children `Id`s must refer to elements already in this list.
Adds a given enode to this ` RecExpr ` . The enode ' s children ` Id ` s must refer to elements already in this list .
pub fn add(&mut self, node: L) -> Id {
        debug_assert!(
            node.all(|id| usize::from(id) < self.nodes.len()),
            "node {:?} has children not in this expr: {:?}",
            node,
            self
        );
        self.nodes.push(node);
        Id::from(self.nodes.len() - 1)
    }
pub fn add ( & mut self , node : L ) -> Id { debug_assert ! ( node all ( id usize from ( id ) self nodes len ( ) ) " " node self ) ; self . nodes . push ( node ) ; Id :: from ( self . nodes . len ( ) - 1 ) }
Adds a given enode to this `RecExpr`.
Adds a given enode to this ` RecExpr ` .
&mut self
node
L