Index: tests/collections/.expect/string-operator-ERR11.txt
===================================================================
--- tests/collections/.expect/string-operator-ERR11.txt	(revision 570e7ad00de8288cde75cec124f5ec3910662225)
+++ tests/collections/.expect/string-operator-ERR11.txt	(revision 570e7ad00de8288cde75cec124f5ec3910662225)
@@ -0,0 +1,3205 @@
+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)
+
+
+