[][src]Type Definition plumcast::misc::PlumtreeNode

type PlumtreeNode<M> = Node<PlumtreeSystem<M>>;

Plumtree node.