DiGraph<CondensationBlock<'D>, unit>
Graph<CondensationBlock<'D>, unit, DiGraph<CondensationBlock<'D>, unit>>