collections/string-operator.cfa:301:1 error: Cannot choose between 4 alternatives for expression
Applying untyped:
  Name: ?|?
...to:
  Name: sout
  Applying untyped:
    Name: ?*?
  ...to:
    Constant Expression ('a': char)
    ... with resolved type:
      char
    Constant Expression (3: signed int)
    ... with resolved type:
      signed int

 Alternatives are:
Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
      Variable Expression: ?|?: forall
        instance of type ostype (not function type)
        with assertions
        Variable Expression: sepPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

        Variable Expression: sepGetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: getNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: nlOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nlOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nosep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepGet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: sepGetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: ends: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: fmt: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
          and a variable number of other arguments
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

        function
      ... with parameters
        reference to instance of type ostype (not function type)
        instance of struct string with body
      ... returning
        reference to instance of type ostype (not function type)

      ... with resolved type:
        pointer to forall
          instance of type [unbound] (not function type)
          with assertions
          Variable Expression: sepPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning nothing

          Variable Expression: sepGetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: getNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: nlOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nlOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nosep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepGet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: sepGetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: ends: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: fmt: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
              and a variable number of other arguments
            ... returning
              signed int

          function
        ... with parameters
          reference to instance of type [unbound] (not function type)
          instance of struct string with body
        ... returning
          reference to instance of type [unbound] (not function type)

      ... to arguments
      Variable Expression: sout: extern reference to instance of struct ofstream with body
      ... with resolved type:
        reference to instance of struct ofstream with body
      Application of
        Variable Expression: ?*?: function
        ... with parameters
          char
          signed long long int
        ... returning
          instance of struct string with body

        ... with resolved type:
          pointer to function
          ... with parameters
            char
            signed long long int
          ... returning
            instance of struct string with body

        ... to arguments
        Constant Expression ('a': char)
        ... with resolved type:
          char
        Generated Cast of:
          Constant Expression (3: signed int)
          ... with resolved type:
            signed int
        ... to:
          signed long long int
        ... with resolved type:
          signed long long int

      ... with resolved type:
        instance of struct string with body
    with inferred parameters 0:
      sepPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning nothing

      sepGetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      getNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      nlOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nlOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nosep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepGet: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSet: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      sepGetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      ends: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      fmt: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
        and a variable number of other arguments
      ... returning
        signed int


    ... with resolved type:
      reference to instance of type [unbound] (not function type)
  (types:
    reference to instance of type [unbound] (not function type)
  )
  Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)


Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
      Variable Expression: ?|?: forall
        instance of type ostype (not function type)
        with assertions
        Variable Expression: sepPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

        Variable Expression: sepGetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: getNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: nlOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nlOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nosep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepGet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: sepGetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: ends: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: fmt: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
          and a variable number of other arguments
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

        function
      ... with parameters
        reference to instance of type ostype (not function type)
        instance of struct string with body
      ... returning nothing

      ... with resolved type:
        pointer to forall
          instance of type [unbound] (not function type)
          with assertions
          Variable Expression: sepPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning nothing

          Variable Expression: sepGetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: getNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: nlOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nlOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nosep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepGet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: sepGetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: ends: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: fmt: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
              and a variable number of other arguments
            ... returning
              signed int

          function
        ... with parameters
          reference to instance of type [unbound] (not function type)
          instance of struct string with body
        ... returning nothing

      ... to arguments
      Variable Expression: sout: extern reference to instance of struct ofstream with body
      ... with resolved type:
        reference to instance of struct ofstream with body
      Application of
        Variable Expression: ?*?: function
        ... with parameters
          char
          signed long long int
        ... returning
          instance of struct string with body

        ... with resolved type:
          pointer to function
          ... with parameters
            char
            signed long long int
          ... returning
            instance of struct string with body

        ... to arguments
        Constant Expression ('a': char)
        ... with resolved type:
          char
        Generated Cast of:
          Constant Expression (3: signed int)
          ... with resolved type:
            signed int
        ... to:
          signed long long int
        ... with resolved type:
          signed long long int

      ... with resolved type:
        instance of struct string with body
    with inferred parameters 0:
      sepPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning nothing

      sepGetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      getNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      nlOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nlOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nosep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepGet: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSet: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      sepGetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      ends: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      fmt: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
        and a variable number of other arguments
      ... returning
        signed int


    ... with resolved type:
      void
  (types:
    void
  )
  Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)


Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
      Variable Expression: ?|?: forall
        instance of type ostype (not function type)
        with assertions
        Variable Expression: sepPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

        Variable Expression: sepGetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: getNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: nlOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nlOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nosep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepGet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: sepGetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: ends: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: fmt: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
          and a variable number of other arguments
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

        function
      ... with parameters
        reference to instance of type ostype (not function type)
        signed int
      ... returning
        reference to instance of type ostype (not function type)

      ... with resolved type:
        pointer to forall
          instance of type [unbound] (not function type)
          with assertions
          Variable Expression: sepPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning nothing

          Variable Expression: sepGetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: getNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: nlOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nlOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nosep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepGet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: sepGetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: ends: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: fmt: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
              and a variable number of other arguments
            ... returning
              signed int

          function
        ... with parameters
          reference to instance of type [unbound] (not function type)
          signed int
        ... returning
          reference to instance of type [unbound] (not function type)

      ... to arguments
      Variable Expression: sout: extern reference to instance of struct ofstream with body
      ... with resolved type:
        reference to instance of struct ofstream with body
      Application of
        Variable Expression: ?*?: function
        ... with parameters
          signed int
          signed int
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            signed int
            signed int
          ... returning
            signed int

        ... to arguments
        Generated Cast of:
          Constant Expression ('a': char)
          ... with resolved type:
            char
        ... to:
          signed int
        ... with resolved type:
          signed int
        Constant Expression (3: signed int)
        ... with resolved type:
          signed int

      ... with resolved type:
        signed int
    with inferred parameters 0:
      sepPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning nothing

      sepGetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      getNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      nlOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nlOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nosep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepGet: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSet: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      sepGetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      ends: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      fmt: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
        and a variable number of other arguments
      ... returning
        signed int


    ... with resolved type:
      reference to instance of type [unbound] (not function type)
  (types:
    reference to instance of type [unbound] (not function type)
  )
  Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)


Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
      Variable Expression: ?|?: forall
        instance of type ostype (not function type)
        with assertions
        Variable Expression: sepPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepReset$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

        Variable Expression: sepGetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetCur$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: getNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setNL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setANL$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: getPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: setPrt$: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          _Bool
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

        Variable Expression: nlOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nlOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: nosep: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: sepOn: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepOff: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          _Bool

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

        Variable Expression: sepGet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSet: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: sepGetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning
          pointer to const char

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

        Variable Expression: sepSetTuple: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

        Variable Expression: ends: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
        ... returning nothing

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

        Variable Expression: fmt: pointer to function
        ... with parameters
          reference to instance of type ostype (not function type)
          pointer to const char
          and a variable number of other arguments
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

        function
      ... with parameters
        reference to instance of type ostype (not function type)
        signed int
      ... returning nothing

      ... with resolved type:
        pointer to forall
          instance of type [unbound] (not function type)
          with assertions
          Variable Expression: sepPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepReset$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning nothing

          Variable Expression: sepGetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetCur$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: getNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setNL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setANL$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: getPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: setPrt$: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            _Bool
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              _Bool
            ... returning
              _Bool

          Variable Expression: nlOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nlOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: nosep: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: sepOn: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepOff: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            _Bool

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              _Bool

          Variable Expression: sepGet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSet: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: sepGetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning
            pointer to const char

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning
              pointer to const char

          Variable Expression: sepSetTuple: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
            ... returning nothing

          Variable Expression: ends: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
          ... returning nothing

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
            ... returning nothing

          Variable Expression: fmt: pointer to function
          ... with parameters
            reference to instance of type ostype (not function type)
            pointer to const char
            and a variable number of other arguments
          ... returning
            signed int

          ... with resolved type:
            pointer to function
            ... with parameters
              reference to instance of type [unbound] (not function type)
              pointer to const char
              and a variable number of other arguments
            ... returning
              signed int

          function
        ... with parameters
          reference to instance of type [unbound] (not function type)
          signed int
        ... returning nothing

      ... to arguments
      Variable Expression: sout: extern reference to instance of struct ofstream with body
      ... with resolved type:
        reference to instance of struct ofstream with body
      Application of
        Variable Expression: ?*?: function
        ... with parameters
          signed int
          signed int
        ... returning
          signed int

        ... with resolved type:
          pointer to function
          ... with parameters
            signed int
            signed int
          ... returning
            signed int

        ... to arguments
        Generated Cast of:
          Constant Expression ('a': char)
          ... with resolved type:
            char
        ... to:
          signed int
        ... with resolved type:
          signed int
        Constant Expression (3: signed int)
        ... with resolved type:
          signed int

      ... with resolved type:
        signed int
    with inferred parameters 0:
      sepPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepReset$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning nothing

      sepGetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetCur$: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      getNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setNL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setANL$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      getPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      setPrt$: function
      ... with parameters
        reference to instance of struct ofstream with body
        _Bool
      ... returning
        _Bool

      nlOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nlOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      nosep: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      sepOn: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepOff: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        _Bool

      sepGet: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSet: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      sepGetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning
        pointer to const char

      sepSetTuple: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
      ... returning nothing

      ends: function
      ... with parameters
        reference to instance of struct ofstream with body
      ... returning nothing

      fmt: function
      ... with parameters
        reference to instance of struct ofstream with body
        pointer to const char
        and a variable number of other arguments
      ... returning
        signed int


    ... with resolved type:
      void
  (types:
    void
  )
  Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)



