Net.Wire
type
Wire
m a
unbounded
newWire
newWire'
bounded
bounded'
timedWire