Function eval

pub fn eval<K: ArrayKind, O, A, T>(
    f: &OpenHypergraph<K, O, A>,
    s: K::Type<T>,
    apply: impl Fn(SemifiniteFunction<K, A>, IndexedCoproduct<K, SemifiniteFunction<K, T>>) -> IndexedCoproduct<K, SemifiniteFunction<K, T>>,
) -> Option<K::Type<T>>
where
    K::I: Into<usize> + From<usize>,
    K::Type<K::I>: NaturalArray<K>,
    K::Type<T>: Array<K, T>,
    K::Type<O>: Array<K, O>,
    K::Type<A>: Array<K, A>,

Evaluate an acyclic open hypergraph f thought of as a function using some specified input values s, and a function apply which maps a list of operations and their inputs to their outputs.