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: []