pub fn valid_chain() -> Vec<Box<dyn Fact<Header> + 'static, Global>, Global>Notable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
    A: Allocator
Expand description

WIP: Fact: The headers form a valid SourceChain