open_hypergraphs

Module indexed_coproduct

Source
Expand description

Indexed coproducts over finite and semifinite functions

Structs§

IndexedCoproduct
A finite coproduct of arrows of type A. Pragmatically, it’s a segmented array

Traits§

HasLen