Index: tests/collections/.expect/string-operator-ERR09.txt =================================================================== --- tests/collections/.expect/string-operator-ERR09.txt (revision 6b33e891da6ed781bdcec69c5dfdd3cb8a9d0e44) +++ tests/collections/.expect/string-operator-ERR09.txt (revision 873e96c50fdbcd9c570704baf2d35ee75af83a05) @@ -15,304 +15,16 @@ Alternatives are: -Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 0, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -327,300 +39,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) ... with resolved type: - pointer to function + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -662,140 +86,7 @@ char 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -808,304 +99,16 @@ -Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 0, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1119,300 +122,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) ... with resolved type: - pointer to function + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -1453,140 +168,7 @@ char 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -1599,304 +181,16 @@ -Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 0, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1911,300 +205,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) ... with resolved type: - pointer to function + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -2246,140 +252,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -2392,304 +265,16 @@ -Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 0, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -2703,300 +288,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) ... with resolved type: - pointer to function + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -3037,140 +334,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body Index: tests/collections/.expect/string-operator-ERR11.txt =================================================================== --- tests/collections/.expect/string-operator-ERR11.txt (revision 6b33e891da6ed781bdcec69c5dfdd3cb8a9d0e44) +++ tests/collections/.expect/string-operator-ERR11.txt (revision 873e96c50fdbcd9c570704baf2d35ee75af83a05) @@ -15,304 +15,16 @@ Alternatives are: -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -327,300 +39,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -667,140 +91,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -813,304 +104,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1124,300 +127,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -1463,140 +178,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -1609,304 +191,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1921,300 +215,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -2261,140 +267,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -2407,304 +280,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -2718,300 +303,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -3057,140 +354,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body Index: tests/collections/.expect/string-operator-ERR13.txt =================================================================== --- tests/collections/.expect/string-operator-ERR13.txt (revision 6b33e891da6ed781bdcec69c5dfdd3cb8a9d0e44) +++ tests/collections/.expect/string-operator-ERR13.txt (revision 873e96c50fdbcd9c570704baf2d35ee75af83a05) @@ -15,304 +15,16 @@ Alternatives are: -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -327,300 +39,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -667,140 +91,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -813,304 +104,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1124,300 +127,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -1463,140 +178,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -1609,304 +191,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -1921,300 +215,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -2261,140 +267,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body @@ -2407,304 +280,16 @@ -Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of +Cost ( 0, 0, 1, 2, 0, 1, -2, 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) function @@ -2718,300 +303,12 @@ 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 + Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of type ostype (not function type) + + ... with resolved type: + reference to const instance of struct basic_ostream_data with body ... 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 + instance of type [unbound] (not function type) function @@ -3057,140 +354,7 @@ 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 + basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body + ... with parameters + instance of struct ofstream with body