Module semifinite 

Arrays of arbitrary types, pre-composable with finite functions

Structs

SemifiniteFunction

A function whose source is finite, but whose target may be non-finite. This is really just an array!

Enums

SemifiniteArrow

Arrows in the category of semifinite functions

SemifiniteObject

Objects of arrows

Functions

compose_semifinite

As a special case, a we can precompose a FiniteFunction with a SemifiniteFunction. This is also overloaded with the >> syntax.