Net.Wire

type Wire m a

unbounded

newWire

newWire'

bounded

bounded'

timedWire