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,
impl<A> Write for Vec<u8, A> where A: Allocator,
WIP: Fact: The headers form a valid SourceChain