Type Alias WitnessNode

pub type WitnessNode<J> = Node<Witness<J>>;

Aliased Type

struct WitnessNode<J> { /* private fields */ }

Implementations

impl<J: Jet> WitnessNode<J>

pub fn pruned(&self) -> Arc<Self>

Creates a copy of the node (and its entire DAG with the prune bit set)

pub fn arrow(&self) -> &Arrow

Accessor for the node’s arrow

pub fn must_prune(&self) -> bool

Whether the “must prune” bit is set on this node

pub fn prune_and_retype(&self) -> Arc<Self>

pub fn finalize(&self) -> Result<Arc<RedeemNode<J>>, Error>