Type:
name: void
Type:
name: bit
SystemT:
name: ioI::T_ inputs: - SignalI: name: i type: bit outputs: - SignalI: name: o type: bit inouts: [] scope: Scope: name: '' scopes: [] inners: [] systemIs: [] connections: - Connection: left: RefName: type: bit ref: RefThis: type: void name: i right: RefName: type: bit ref: RefThis: type: void name: o behaviors: []
SystemT:
name: with_ioI::T_ inputs: - SignalI: name: i type: bit outputs: - SignalI: name: o type: bit inouts: [] scope: Scope: name: '' scopes: [] inners: [] systemIs: - SystemI: name: ioI systemT: ioI::T_ connections: - Connection: left: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: ioI name: i right: RefName: type: bit ref: RefThis: type: void name: i - Connection: left: RefName: type: bit ref: RefThis: type: void name: o right: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: ioI name: o behaviors: []