function splice_at( $i, array $nodes, $len = 0){
		$Child = $this->children[$i];
		$Child->pidx = null;
		$Child->depth = 0;
		array_splice( $this->children, $i, $len, $nodes );
		foreach( $nodes as $Node ){
			$Node->pidx = $this->idx;
		}
		$this->length = count( $this->children );
		$this->p = 0;
		return $Child;
	}
function splice_at( $i, array $nodes, $len = 0){
		$Child = $this->children[$i];
		$Child->pidx = null;
		$Child->depth = 0;
		array_splice( $this->children, $i, $len, $nodes );
		foreach( $nodes as $Node ){
			$Node->pidx = $this->idx;
		}
		$this->length = count( $this->children );
		$this->p = 0;
		return $Child;
	}
function splice_at ( $ i , array $ nodes , $ len = 0 ) { $ Child = $ this -> children [ $ i ] ; $ Child -> pidx = null ; $ Child -> depth = 0 ; array_splice ( $ this -> children , $ i , $ len , $ nodes ) ; foreach ( $ nodes as $ Node ) { $ Node -> pidx = $ this -> idx ; } $ this -> length = count ( $ this -> children ) ; $ this -> p = 0 ; return $ Child ; }
Replace child node at known index with other nodes
@param int
@param array replacement
@param ParseNode child node removed
Replace child node at known index with other nodes