---
namespace: Parse
expectation: Pass
outputs:
  - name: ""
    network: ""
    expected_input: []
    imports: {}
    circuits: {}
    mappings: {}
    functions:
      "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":11,\\\"hi\\\":12}\"}":
        annotations: []
        identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":11,\\\"hi\\\":12}\"}"
        input:
          - Internal:
              identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":13,\\\"hi\\\":14}\"}"
              mode: None
              type_:
                Integer: U32
              span:
                lo: 13
                hi: 14
          - Internal:
              identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":28,\\\"hi\\\":29}\"}"
              mode: Public
              type_:
                Integer: I32
              span:
                lo: 28
                hi: 29
        output:
          - Internal:
              mode: None
              type_:
                Integer: U8
              span:
                lo: 39
                hi: 41
        output_type:
          Integer: U8
        block:
          statements:
            - Return:
                expression:
                  Literal:
                    Integer:
                      - U8
                      - "0"
                      - span:
                          lo: 55
                          hi: 58
                span:
                  lo: 48
                  hi: 58
          span:
            lo: 42
            hi: 61
        finalize: ~
        span:
          lo: 2
          hi: 61
      "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":73}\"}":
        annotations: []
        identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":73}\"}"
        input:
          - Internal:
              identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":81,\\\"hi\\\":82}\"}"
              mode: Public
              type_:
                Integer: U32
              span:
                lo: 81
                hi: 82
          - Internal:
              identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":89,\\\"hi\\\":90}\"}"
              mode: None
              type_:
                Integer: I32
              span:
                lo: 89
                hi: 90
        output:
          - Internal:
              mode: None
              type_:
                Integer: U8
              span:
                lo: 100
                hi: 102
        output_type:
          Integer: U8
        block:
          statements:
            - Return:
                expression:
                  Literal:
                    Integer:
                      - U8
                      - "0"
                      - span:
                          lo: 116
                          hi: 119
                span:
                  lo: 109
                  hi: 119
          span:
            lo: 103
            hi: 122
        finalize: ~
        span:
          lo: 63
          hi: 122