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

WIP: Fact: The actions form a valid SourceChain