Module prisma::channel::free_channel

Channels with no upper and/or lower bound

Structs

FreeChannel	A free channel with no constraints
FreeChannelTag	A tag uniquely identifying a FreeChannel
PosFreeChannel	A free channel that only takes on positive values
PosFreeChannelTag	A tag uniquely identifying a PosFreeChannel