Type:

name: signed

TypeVector:

name: integer
base: signed
range:
- 31
- 0

Type:

name: void

Type:

name: bit

SystemT:

name: conditionalsI::T_
inputs:
- SignalI:
    name: x
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: y
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
outputs:
- SignalI:
    name: s
    type: bit
inouts: []
scope:
  Scope:
    name: ''
    scopes: []
    inners: []
    systemIs: []
    connections: []
    behaviors:
    - Behavior:
        events: []
        block:
          Block:
            mode: par
            name: ''
            inners: []
            statements:
            - If:
                condition:
                  Binary:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 15
                        - 0
                    operator: "<="
                    left:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 15
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: x
                    right:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 15
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: y
                'yes':
                  Block:
                    mode: par
                    name: ''
                    inners: []
                    statements:
                    - Transmit:
                        left:
                          RefName:
                            type: bit
                            ref:
                              RefThis:
                                type: void
                            name: s
                        right:
                          Value:
                            type: integer
                            content: 0
                'no':
                  Block:
                    mode: par
                    name: ''
                    inners: []
                    statements:
                    - Transmit:
                        left:
                          RefName:
                            type: bit
                            ref:
                              RefThis:
                                type: void
                            name: s
                        right:
                          Value:
                            type: integer
                            content: 1
                noifs: []