Changeset ae0c1c3


Ignore:
Timestamp:
Apr 25, 2025, 7:08:53 PM (3 weeks ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
7d02d35, ecfa58be
Parents:
65bd3c2
Message:

Rewrote the iostream traits to have a single assertion each, a table containing function pointers. This is just an experiment right now. It seems that it does cause significant speed up of assertion resolution, but for some reason also seems to add a flat overhead that mostly eats up that saving.

Files:
12 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/collections/string.cfa

    r65bd3c2 rae0c1c3  
    216216        }
    217217
    218         void ?|?( ostype & out, string s ) {
     218        void ?|?( ostype & out, string s ) with ( basic_ostream_table ) {
    219219                (ostype &)(out | (*s.inner)); ends( out );
    220220        }
    … …  
    229229        } // ?|?
    230230
    231         void ?|?( ostype & os, _Ostream_Manip(string) f ) {
     231        void ?|?( ostype & os, _Ostream_Manip(string) f ) with ( basic_ostream_table ) {
    232232                (ostype &)(os | f); ends( os );
    233233        }

  • libcfa/src/collections/string_res.cfa

    r65bd3c2 rae0c1c3  
    201201forall( ostype & | basic_ostream( ostype ) )
    202202void ?|?( ostype & out, const string_res & s ) {
    203         (ostype &)(out | s); ends( out );
     203        (ostype &)(out | s);
     204        basic_ostream_table.ends( out );
    204205}
    205206
    … …  
    249250
    250251forall( istype & | basic_istream( istype ) )
    251 istype & ?|?( istype & is, _Istream_Rquote f ) with( f.rstr ) {
     252istype & ?|?( istype & is, _Istream_Rquote f ) with( basic_istream_table, f.rstr ) {
    252253        if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
    253254        int args;

  • libcfa/src/fstream.cfa

    r65bd3c2 rae0c1c3  
    202202} // nl
    203203
     204static basic_ostream_data(ofstream) ofstream_basic_data = {
     205        sepPrt$,
     206        sepReset$,
     207        sepReset$,
     208        sepGetCur$,
     209        sepSetCur$,
     210        getNL$,
     211        setNL$,
     212        getANL$,
     213        setANL$,
     214        getPrt$,
     215        setPrt$,
     216        nlOn,
     217        nlOff,
     218        sep,
     219        nosep,
     220        sepOn,
     221        sepOff,
     222        sepGet,
     223        sepSet,
     224        sepGetTuple,
     225        sepSetTuple,
     226        ends,
     227        fmt,
     228};
     229
     230basic_ostream_data(ofstream) const & basic_ostream_table = ofstream_basic_data;
     231
     232static ostream_data(ofstream) ofstream_data;
     233
     234// This should be an initializer like for the basic table.
     235// But, initialization of a structure with an inline structure doesn't work.
     236__attribute__((constructor(200)))
     237static void __ofstream_data_init__() {
     238        basic_ostream_data(ofstream) & basic = ofstream_data;
     239        basic.sepPrt$ = sepPrt$;
     240        basic.sepReset$ = (void(*)(ofstream&))sepReset$;
     241        basic.sepReset$ = (void(*)(ofstream&, bool))sepReset$;
     242        basic.sepGetCur$ = sepGetCur$;
     243        basic.sepSetCur$ = sepSetCur$;
     244        basic.getNL$ = getNL$;
     245        basic.setNL$ = setNL$;
     246        basic.getANL$ = getANL$;
     247        basic.setANL$ = setANL$;
     248        basic.getPrt$ = getPrt$;
     249        basic.setPrt$ = setPrt$;
     250        basic.nlOn = nlOn;
     251        basic.nlOff = nlOff;
     252        basic.sep = sep;
     253        basic.nosep = nosep;
     254        basic.sepOn = sepOn;
     255        basic.sepOff = sepOff;
     256        basic.sepGet = sepGet;
     257        basic.sepSet = sepSet;
     258        basic.sepGetTuple = sepGetTuple;
     259        basic.sepSetTuple = sepSetTuple;
     260        basic.ends = ends;
     261        basic.fmt = fmt;
     262        ofstream_data.fail = fail;
     263        ofstream_data.clearerr = clearerr;
     264        ofstream_data.flush = flush;
     265        ofstream_data.open = open;
     266        ofstream_data.close = close;
     267        ofstream_data.write = write;
     268}
     269
     270ostream_data(ofstream) const & ostream_table = ofstream_data;
    204271
    205272// *********************************** ifstream ***********************************
    … …  
    211278        nlOnOff$ = false;                                                                       // => skip newlines when reading single characters
    212279} // ?{}
     280
     281static basic_istream_data(ifstream) ifstream_basic_data = {
     282        getANL$,
     283        setANL$,
     284        nlOn,
     285        nlOff,
     286        fmt,
     287        ungetc,
     288        eof,
     289        clearerr,
     290};
     291
     292basic_istream_data(ifstream) const & basic_istream_table = ifstream_basic_data;
     293
     294static istream_data(ifstream) ifstream_data;
     295
     296// This should be an initializer like for the basic table.
     297// But, initialization of a structure with an inline structure doesn't work.
     298__attribute__((constructor(200)))
     299static void __ifstream_data_init__() {
     300        basic_istream_data(ifstream) & basic = ifstream_data;
     301        basic.getANL$ = getANL$;
     302        basic.setANL$ = setANL$;
     303        basic.nlOn = nlOn;
     304        basic.nlOff = nlOff;
     305        basic.fmt = fmt;
     306        basic.ungetc = ungetc;
     307        basic.eof = eof;
     308        basic.clearerr = clearerr;
     309        ifstream_data.fail = fail;
     310        ifstream_data.open = (void(*)(ifstream &, const char *, const char *))open;
     311        ifstream_data.open = (void(*)(ifstream &, const char *))open;
     312        ifstream_data.close = close;
     313        ifstream_data.read = read;
     314}
     315
     316istream_data(ifstream) const & istream_table = ifstream_data;
    213317
    214318bool getANL$( ifstream & os ) { return os.nlOnOff$; }

  • libcfa/src/fstream.hfa

    r65bd3c2 rae0c1c3  
    3838
    3939// Satisfies ostream
     40extern basic_ostream_data(ofstream) const & basic_ostream_table;
     41extern ostream_data(ofstream) const & ostream_table;
    4042
    4143// private
    … …  
    106108
    107109// Satisfies istream
     110extern basic_istream_data(ifstream) const & basic_istream_table;
     111extern istream_data(ifstream) const & istream_table;
    108112
    109113// private

  • libcfa/src/gmp.hfa

    r65bd3c2 rae0c1c3  
    263263        forall( ostype & | ostream( ostype ) ) {
    264264                ostype & ?|?( ostype & os, Int mp ) {
    265                         if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
     265                        ostream_data(ostype) const & table = ostream_table;
     266                        if ( table.sepPrt$( os ) ) table.fmt( os, "%s", table.sepGetCur$( os ) );
    266267                        gmp_printf( "%Zd", mp.mpz );
    267                         sep( os );
     268                        table.sep( os );
    268269                        return os;
    269270                } // ?|?

  • libcfa/src/iostream.cfa

    r65bd3c2 rae0c1c3  
    4242
    4343forall( ostype & | basic_ostream( ostype ) ) {
    44         ostype & ?|?( ostype & os, bool b ) {
     44        ostype & ?|?( ostype & os, bool b ) with ( basic_ostream_table ) {
    4545                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    4646                fmt( os, "%s", b ? "true" : "false" );
    … …  
    4949        OSTYPE_VOID_IMPL( os, bool )
    5050
    51         ostype & ?|?( ostype & os, char c ) {
     51        ostype & ?|?( ostype & os, char c ) with ( basic_ostream_table ) {
    5252                fmt( os, "%c", c );
    5353                if ( c == '\n' ) setNL$( os, true );
    … …  
    5656        OSTYPE_VOID_IMPL( os, char )
    5757
    58         ostype & ?|?( ostype & os, signed char sc ) {
     58        ostype & ?|?( ostype & os, signed char sc ) with ( basic_ostream_table ) {
    5959                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    6060                fmt( os, "%'hhd", sc );
    … …  
    6363        OSTYPE_VOID_IMPL( os, signed char )
    6464
    65         ostype & ?|?( ostype & os, unsigned char usc ) {
     65        ostype & ?|?( ostype & os, unsigned char usc ) with ( basic_ostream_table ) {
    6666                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    6767                fmt( os, "%'hhu", usc );
    … …  
    7070        OSTYPE_VOID_IMPL( os, unsigned char )
    7171
    72         ostype & ?|?( ostype & os, short int si ) {
     72        ostype & ?|?( ostype & os, short int si ) with ( basic_ostream_table ) {
    7373                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    7474                fmt( os, "%'hd", si );
    … …  
    7777        OSTYPE_VOID_IMPL( os, short int )
    7878
    79         ostype & ?|?( ostype & os, unsigned short int usi ) {
     79        ostype & ?|?( ostype & os, unsigned short int usi ) with ( basic_ostream_table ) {
    8080                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    8181                fmt( os, "%'hu", usi );
    … …  
    8484        OSTYPE_VOID_IMPL( os, unsigned short int )
    8585
    86         ostype & ?|?( ostype & os, int i ) {
     86        ostype & ?|?( ostype & os, int i ) with ( basic_ostream_table ) {
    8787                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    8888                fmt( os, "%'d", i );
    … …  
    9191        OSTYPE_VOID_IMPL( os, int )
    9292
    93         ostype & ?|?( ostype & os, unsigned int ui ) {
     93        ostype & ?|?( ostype & os, unsigned int ui ) with ( basic_ostream_table ) {
    9494                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    9595                fmt( os, "%'u", ui );
    … …  
    9898        OSTYPE_VOID_IMPL( os, unsigned int )
    9999
    100         ostype & ?|?( ostype & os, long int li ) {
     100        ostype & ?|?( ostype & os, long int li ) with ( basic_ostream_table ) {
    101101                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    102102                fmt( os, "%'ld", li );
    … …  
    105105        OSTYPE_VOID_IMPL( os, long int )
    106106
    107         ostype & ?|?( ostype & os, unsigned long int uli ) {
     107        ostype & ?|?( ostype & os, unsigned long int uli ) with ( basic_ostream_table ) {
    108108                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    109109                fmt( os, "%'lu", uli );
    … …  
    112112        OSTYPE_VOID_IMPL( os, unsigned long int )
    113113
    114         ostype & ?|?( ostype & os, long long int lli ) {
     114        ostype & ?|?( ostype & os, long long int lli ) with ( basic_ostream_table ) {
    115115                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    116116                fmt( os, "%'lld", lli );
    … …  
    119119        OSTYPE_VOID_IMPL( os, long long int )
    120120
    121         ostype & ?|?( ostype & os, unsigned long long int ulli ) {
     121        ostype & ?|?( ostype & os, unsigned long long int ulli ) with ( basic_ostream_table ) {
    122122                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    123123                fmt( os, "%'llu", ulli );
    … …  
    130130        #define P10_UINT64 10_000_000_000_000_000_000_ULL       // 19 zeroes
    131131
    132         static inline void base10_128( ostype & os, unsigned int128 val ) {
     132        static inline void base10_128( ostype & os, unsigned int128 val ) with ( basic_ostream_table ) {
    133133                #if defined(__GNUC__) && __GNUC_PREREQ(7,0)             // gcc version >= 7
    134134                if ( val > P10_UINT64 ) {
    … …  
    143143        } // base10_128
    144144
    145         static inline void base10_128( ostype & os, int128 val ) {
     145        static inline void base10_128( ostype & os, int128 val ) with ( basic_ostream_table ) {
    146146                if ( val < 0 ) {
    147147                        fmt( os, "-" );                                                         // leading negative sign
    … …  
    151151        } // base10_128
    152152
    153         ostype & ?|?( ostype & os, int128 llli ) {
     153        ostype & ?|?( ostype & os, int128 llli ) with ( basic_ostream_table ) {
    154154                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    155155                base10_128( os, llli );
    … …  
    158158        OSTYPE_VOID_IMPL( os, int128 )
    159159
    160         ostype & ?|?( ostype & os, unsigned int128 ullli ) {
     160        ostype & ?|?( ostype & os, unsigned int128 ullli ) with ( basic_ostream_table ) {
    161161                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    162162                base10_128( os, ullli );
    … …  
    181181                }
    182182
    183         ostype & ?|?( ostype & os, float f ) {
     183        ostype & ?|?( ostype & os, float f ) with ( basic_ostream_table ) {
    184184                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    185185                PRINT_WITH_DP( os, "%'g", f );
    … …  
    188188        OSTYPE_VOID_IMPL( os, float )
    189189
    190         ostype & ?|?( ostype & os, double d ) {
     190        ostype & ?|?( ostype & os, double d ) with ( basic_ostream_table ) {
    191191                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    192192                PRINT_WITH_DP( os, "%'.*lg", d, DBL_DIG );
    … …  
    195195        OSTYPE_VOID_IMPL( os, double )
    196196
    197         ostype & ?|?( ostype & os, long double ld ) {
     197        ostype & ?|?( ostype & os, long double ld ) with ( basic_ostream_table ) {
    198198                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    199199                PRINT_WITH_DP( os, "%'.*Lg", ld, LDBL_DIG );
    … …  
    202202        OSTYPE_VOID_IMPL( os, long double )
    203203
    204         ostype & ?|?( ostype & os, float _Complex fc ) {
     204        ostype & ?|?( ostype & os, float _Complex fc ) with ( basic_ostream_table ) {
    205205                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    206206//              os | crealf( fc ) | nonl;
    … …  
    212212        OSTYPE_VOID_IMPL( os, float _Complex )
    213213
    214         ostype & ?|?( ostype & os, double _Complex dc ) {
     214        ostype & ?|?( ostype & os, double _Complex dc ) with ( basic_ostream_table ) {
    215215                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    216216//              os | creal( dc ) | nonl;
    … …  
    222222        OSTYPE_VOID_IMPL( os, double _Complex )
    223223
    224         ostype & ?|?( ostype & os, long double _Complex ldc ) {
     224        ostype & ?|?( ostype & os, long double _Complex ldc ) with ( basic_ostream_table ) {
    225225                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    226226//              os | creall( ldc ) || nonl;
    … …  
    232232        OSTYPE_VOID_IMPL( os, long double _Complex )
    233233
    234         ostype & ?|?( ostype & os, const char s[] ) {
     234        ostype & ?|?( ostype & os, const char s[] ) with ( basic_ostream_table ) {
    235235                enum { Open = 1, Close, OpenClose };
    236236                static const unsigned char mask[256] @= {               // 256 covers all Latin-1 characters
    … …  
    295295//      } // ?|?
    296296
    297         ostype & ?|?( ostype & os, const void * p ) {
     297        ostype & ?|?( ostype & os, const void * p ) with ( basic_ostream_table ) {
    298298                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
    299299                fmt( os, "%p", p );
    … …  
    306306                return manip( os );
    307307        } // ?|?
    308         void ?|?( ostype & os, ostype & (* manip)( ostype & ) ) {
     308        void ?|?( ostype & os, ostype & (* manip)( ostype & ) ) with ( basic_ostream_table ) {
    309309                manip( os );
    310310                if ( getPrt$( os ) ) ends( os );                                // something printed ?
    … …  
    312312        } // ?|?
    313313
    314         ostype & nl( ostype & os ) {
     314        ostype & nl( ostype & os ) with ( basic_ostream_table ) {
    315315                (ostype &)(os | '\n');
    316316                setPrt$( os, false );                                                   // turn off
    … …  
    319319        } // nl
    320320
    321         ostype & nonl( ostype & os ) {
     321        ostype & nonl( ostype & os ) with ( basic_ostream_table ) {
    322322                setPrt$( os, false );                                                   // turn off
    323323                return os;
    324324        } // nonl
    325325
    326         ostype & nlOn( ostype & os ) {
     326        ostype & nlOn( ostype & os ) with ( basic_ostream_table ) {
    327327                nlOn( os );                                                                             // call void returning
    328328                return os;
    329329        } // nlOn
    330330
    331         ostype & nlOff( ostype & os ) {
     331        ostype & nlOff( ostype & os ) with ( basic_ostream_table ) {
    332332                nlOff( os );                                                                    // call void returning
    333333                return os;
    334334        } // nlOff
    335335
    336         ostype & sepVal( ostype & os ) {
     336        ostype & sepVal( ostype & os ) with ( basic_ostream_table ) {
    337337                return (ostype &)(os | sepGet( os ));
    338338        } // sepVal
    339339
    340         ostype & sepTupleVal( ostype & os ) {
     340        ostype & sepTupleVal( ostype & os ) with ( basic_ostream_table ) {
    341341                return os | sepGetTuple( os );
    342342        } // sepTupleVal
    343343
    344         ostype & sep( ostype & os ) {
     344        ostype & sep( ostype & os ) with ( basic_ostream_table ) {
    345345                sep( os );                                                                              // call void returning
    346346                return os;
    347347        } // sep
    348348
    349         ostype & nosep( ostype & os ) {
     349        ostype & nosep( ostype & os ) with ( basic_ostream_table ) {
    350350                nosep( os );                                                                    // call void returning
    351351                return os;
    352352        } // nosep
    353353
    354         ostype & sepOn( ostype & os ) {
     354        ostype & sepOn( ostype & os ) with ( basic_ostream_table ) {
    355355                sepOn( os );                                                                    // call void returning
    356356                return os;
    357357        } // sepOn
    358358
    359         ostype & sepOff( ostype & os ) {
     359        ostype & sepOff( ostype & os ) with ( basic_ostream_table ) {
    360360                sepOff( os );                                                                   // call void returning
    361361                return os;
    … …  
    365365// tuples
    366366forall( ostype &, T, Params... | writeable( T, ostype ) | { ostype & ?|?( ostype &, Params ); } ) {
    367         ostype & ?|?( ostype & os, T arg, Params rest ) {
     367        ostype & ?|?( ostype & os, T arg, Params rest ) with ( basic_ostream_table ) {
    368368                (ostype &)(os | arg);                                                   // print first argument
    369369                sepSetCur$( os, sepGetTuple( os ) );                    // switch to tuple separator
    … …  
    372372                return os;
    373373        } // ?|?
    374         void ?|?( ostype & os, T arg, Params rest ) {
     374        void ?|?( ostype & os, T arg, Params rest ) with ( basic_ostream_table ) {
    375375                // (ostype &)(?|?( os, arg, rest )); ends( os );
    376376                (ostype &)(os | arg);                                                   // print first argument
    … …  
    405405#define INTEGRAL_FMT_IMPL( T, IFMTNP, IFMTP ) \
    406406forall( ostype & | basic_ostream( ostype ) ) { \
    407         ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) { \
     407        ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) with ( basic_ostream_table ) { \
    408408                if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) ); \
    409409\
    … …  
    653653        } /* eng */ \
    654654\
    655         ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) { \
     655        ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) with ( basic_ostream_table ) { \
    656656                enum { size = 48 }; \
    657657                char buf[size]; \
    … …  
    692692
    693693forall( ostype & | basic_ostream( ostype ) ) {
    694         ostype & ?|?( ostype & os, _Ostream_Manip(char) f ) {
     694        ostype & ?|?( ostype & os, _Ostream_Manip(char) f ) with ( basic_ostream_table ) {
    695695                if ( f.base != 'c' ) {                                                  // bespoke binary/octal/hex format
    696696                        _Ostream_Manip(unsigned char) fmtuc @= { f.val, f.wd, f.pc, f.base, {'\0'} };
    … …  
    724724
    725725forall( ostype & | basic_ostream( ostype ) ) {
    726         ostype & ?|?( ostype & os, _Ostream_Manip(const char *) f ) {
     726        ostype & ?|?( ostype & os, _Ostream_Manip(const char *) f ) with ( basic_ostream_table ) {
    727727                if ( ! f.val ) return os;                                               // null pointer ?
    728728
    … …  
    776776
    777777forall( istype & | basic_istream( istype ) ) {
    778         istype & ?|?( istype & is, bool & b ) {
     778        istype & ?|?( istype & is, bool & b ) with ( basic_istream_table ) {
    779779                int len = -1;                                                                   // len not set if no match
    780780                fmt( is, " " );                                                                 // remove leading whitespace
    … …  
    792792        } // ?|?
    793793
    794         istype & ?|?( istype & is, char & c ) {
     794        istype & ?|?( istype & is, char & c ) with ( basic_istream_table ) {
    795795                char temp;
    796796                for () {
    … …  
    804804        } // ?|?
    805805
    806         istype & ?|?( istype & is, signed char & sc ) {
     806        istype & ?|?( istype & is, signed char & sc ) with ( basic_istream_table ) {
    807807                int args = fmt( is, "%hhi", &sc );                              // can be multiple characters (100)
    808808                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    811811        } // ?|?
    812812
    813         istype & ?|?( istype & is, unsigned char & usc ) {
     813        istype & ?|?( istype & is, unsigned char & usc ) with ( basic_istream_table ) {
    814814                int args = fmt( is, "%hhi", &usc );                             // can be multiple characters (-100)
    815815                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    818818        } // ?|?
    819819
    820         istype & ?|?( istype & is, short int & si ) {
     820        istype & ?|?( istype & is, short int & si ) with ( basic_istream_table ) {
    821821                int args = fmt( is, "%hi", &si );                               // can be called with EOF on
    822822                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    825825        } // ?|?
    826826
    827         istype & ?|?( istype & is, unsigned short int & usi ) {
     827        istype & ?|?( istype & is, unsigned short int & usi ) with ( basic_istream_table ) {
    828828                int args = fmt( is, "%hi", &usi );                              // can be called with EOF on
    829829                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    832832        } // ?|?
    833833
    834         istype & ?|?( istype & is, int & i ) {
     834        istype & ?|?( istype & is, int & i ) with ( basic_istream_table ) {
    835835                int args = fmt( is, "%i", &i );                                 // can be called with EOF on
    836836                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    839839        } // ?|?
    840840
    841         istype & ?|?( istype & is, unsigned int & ui ) {
     841        istype & ?|?( istype & is, unsigned int & ui ) with ( basic_istream_table ) {
    842842                int args = fmt( is, "%i", &ui );                                // can be called with EOF on
    843843                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    846846        } // ?|?
    847847
    848         istype & ?|?( istype & is, long int & li ) {
     848        istype & ?|?( istype & is, long int & li ) with ( basic_istream_table ) {
    849849                int args = fmt( is, "%li", &li );                               // can be called with EOF on
    850850                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    853853        } // ?|?
    854854
    855         istype & ?|?( istype & is, unsigned long int & ulli ) {
     855        istype & ?|?( istype & is, unsigned long int & ulli ) with ( basic_istream_table ) {
    856856                int args = fmt( is, "%li", &ulli );                             // can be called with EOF on
    857857                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    860860        } // ?|?
    861861
    862         istype & ?|?( istype & is, long long int & lli ) {
     862        istype & ?|?( istype & is, long long int & lli ) with ( basic_istream_table ) {
    863863                int args = fmt( is, "%lli", &lli );                             // can be called with EOF on
    864864                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    867867        } // ?|?
    868868
    869         istype & ?|?( istype & is, unsigned long long int & ulli ) {
     869        istype & ?|?( istype & is, unsigned long long int & ulli ) with ( basic_istream_table ) {
    870870                int args = fmt( is, "%lli", &ulli );                    // can be called with EOF on
    871871                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    879879        } // ?|?
    880880
    881         istype & ?|?( istype & is, unsigned int128 & ullli ) {
     881        istype & ?|?( istype & is, unsigned int128 & ullli ) with ( basic_istream_table ) {
    882882                char s[40];
    883883                bool sign = false;
    … …  
    896896        #endif // __SIZEOF_INT128__
    897897
    898         istype & ?|?( istype & is, float & f ) {
     898        istype & ?|?( istype & is, float & f ) with ( basic_istream_table ) {
    899899                int args = fmt( is, "%f", &f );                                 // can be called with EOF on
    900900                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    903903        } // ?|?
    904904
    905         istype & ?|?( istype & is, double & d ) {
     905        istype & ?|?( istype & is, double & d ) with ( basic_istream_table ) {
    906906                int args = fmt( is, "%lf", &d );                                // can be called with EOF on
    907907                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    910910        } // ?|?
    911911
    912         istype & ?|?( istype & is, long double & ld ) {
     912        istype & ?|?( istype & is, long double & ld ) with ( basic_istream_table ) {
    913913                int args = fmt( is, "%Lf", &ld );                               // can be called with EOF on
    914914                if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
    … …  
    917917        } // ?|?
    918918
    919         istype & ?|?( istype & is, float _Complex & fc ) {
     919        istype & ?|?( istype & is, float _Complex & fc ) with ( basic_istream_table ) {
    920920                float re, im;
    921921                int args = fmt( is, "%f%fi", &re, &im );                // can be called with EOF on
    … …  
    926926        } // ?|?
    927927
    928         istype & ?|?( istype & is, double _Complex & dc ) {
     928        istype & ?|?( istype & is, double _Complex & dc ) with ( basic_istream_table ) {
    929929                double re, im;
    930930                int args = fmt( is, "%lf%lfi", &re, &im );              // can be called with EOF on
    … …  
    935935        } // ?|?
    936936
    937         istype & ?|?( istype & is, long double _Complex & ldc ) {
     937        istype & ?|?( istype & is, long double _Complex & ldc ) with ( basic_istream_table ) {
    938938                long double re, im;
    939939                int args = fmt( is, "%Lf%Lfi", &re, &im );              // can be called with EOF on
    … …  
    944944        } // ?|?
    945945
    946         istype & ?|?( istype & is, const char fmt[] ) {         // match text
     946        istype & ?|?( istype & is, const char fmt[] ) with ( basic_istream_table ) {            // match text
    947947                size_t len = strlen( fmt );
    948948                char fmtstr[len + 16];
    … …  
    966966        } // ?|?
    967967
    968         istype & nl( istype & is ) {
     968        istype & nl( istype & is ) with ( basic_istream_table ) {
    969969                fmt( is, "%*[^\n]" );                                                   // ignore characters to newline
    970970                if ( ! eof( is ) ) fmt( is, "%*c" );                    // read newline
    … …  
    972972        } // nl
    973973
    974         istype & nlOn( istype & is ) {
     974        istype & nlOn( istype & is ) with ( basic_istream_table ) {
    975975                nlOn( is );                                                                             // call void returning
    976976                return is;
    977977        } // nlOn
    978978
    979         istype & nlOff( istype & is ) {
     979        istype & nlOff( istype & is ) with ( basic_istream_table ) {
    980980                nlOff( is );                                                                    // call void returning
    981981                return is;
    … …  
    986986
    987987forall( istype & | basic_istream( istype ) ) {
    988         istype & ?|?( istype & is, _Istream_Cskip f ) {
     988        istype & ?|?( istype & is, _Istream_Cskip f ) with ( basic_istream_table ) {
    989989                if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
    990990                if ( f.scanset ) {
    … …  
    10061006        }
    10071007
    1008         istype & ?|?( istype & is, _Istream_Cquote f ) with( f.cstr ) {
     1008        istype & ?|?( istype & is, _Istream_Cquote f ) with( basic_istream_table, f.cstr ) {
    10091009                if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
    10101010                int args;
    … …  
    10311031        }
    10321032
    1033         istype & ?|?( istype & is, _Istream_Cstr f ) with( f.cstr ) {
     1033        istype & ?|?( istype & is, _Istream_Cstr f ) with( basic_istream_table, f.cstr ) {
     1034                assert(eof);
    10341035                if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
    10351036                const char * scanset;
    … …  
    11391140#define INPUT_FMT_IMPL( T, CODE ) \
    11401141forall( istype & | basic_istream( istype ) ) { \
    1141         istype & ?|?( istype & is, _Istream_Manip(T) f ) { \
     1142        istype & ?|?( istype & is, _Istream_Manip(T) f ) with ( basic_istream_table ) { \
    11421143                enum { size = 16 }; \
    11431144                char fmtstr[size]; \
    … …  
    12031204
    12041205forall( istype & | istream( istype ), E | CfaEnum( E ) | Serial( E ) )
    1205 istype & ?|?( istype & is, E & e ) {
     1206istype & ?|?( istype & is, E & e ) with ( basic_istream_table ) {
    12061207//      if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
    12071208

  • libcfa/src/iostream.hfa

    r65bd3c2 rae0c1c3  
    2222
    2323forall( ostype & )
     24struct basic_ostream_data {
     25        // private
     26        bool (*sepPrt$)( ostype & );                                                    // get separator state (on/off)
     27        void (*sepReset$)( ostype & );                                                  // set separator state to default state
     28        void (*sepReset$)( ostype &, bool );                                    // set separator and default state
     29        const char * (*sepGetCur$)( ostype & );                         // get current separator string
     30        void (*sepSetCur$)( ostype &, const char [] );                  // set current separator string
     31        bool (*getNL$)( ostype & );                                                     // get newline
     32        bool (*setNL$)( ostype &, bool );                                               // set newline
     33        bool (*getANL$)( ostype & );                                                    // get auto newline (on/off)
     34        bool (*setANL$)( ostype &, bool );                                              // set auto newline (on/off), and return previous state
     35        bool (*getPrt$)( ostype & );                                                    // get fmt called in output cascade
     36        bool (*setPrt$)( ostype &, bool );                                              // set fmt called in output cascade
     37        // public
     38        void (*nlOn)( ostype & );                                                               // turn auto-newline state on
     39        void (*nlOff)( ostype & );                                                              // turn auto-newline state off
     40
     41        void (*sep)( ostype & );                                                                // turn separator state on
     42        void (*nosep)( ostype & );                                                              // turn separator state off
     43        bool (*sepOn)( ostype & );                                                              // set default state to on, and return previous state
     44        bool (*sepOff)( ostype & );                                                     // set default state to off, and return previous state
     45        const char * (*sepGet)( ostype & );                                     // get separator string
     46        void (*sepSet)( ostype &, const char [] );                              // set separator to string (15 character maximum)
     47        const char * (*sepGetTuple)( ostype & );                                // get tuple separator string
     48        void (*sepSetTuple)( ostype &, const char [] );         // set tuple separator to string (15 character maximum)
     49
     50        void (*ends)( ostype & );                                                               // end of output statement
     51        int (*fmt)( ostype &, const char format[], ... ) __attribute__(( format(printf, 2, 3) ));
     52}; // basic_ostream
     53
     54forall( ostype & )
     55struct ostream_data {
     56        inline basic_ostream_data( ostype );
     57        bool (*fail)( ostype & );                                                               // operation failed?
     58        void (*clearerr)( ostype & );
     59        int (*flush)( ostype & );
     60        void (*open)( ostype &, const char name[], const char mode[] );
     61        void (*close)( ostype & );
     62        ostype & (*write)( ostype &, const char [], size_t );
     63}; // ostream
     64
     65forall( ostype & )
    2466trait basic_ostream {
    25         // private
    26         bool sepPrt$( ostype & );                                                       // get separator state (on/off)
    27         void sepReset$( ostype & );                                                     // set separator state to default state
    28         void sepReset$( ostype &, bool );                                       // set separator and default state
    29         const char * sepGetCur$( ostype & );                            // get current separator string
    30         void sepSetCur$( ostype &, const char [] );                     // set current separator string
    31         bool getNL$( ostype & );                                                        // get newline
    32         bool setNL$( ostype &, bool );                                          // set newline
    33         bool getANL$( ostype & );                                                       // get auto newline (on/off)
    34         bool setANL$( ostype &, bool );                                         // set auto newline (on/off), and return previous state
    35         bool getPrt$( ostype & );                                                       // get fmt called in output cascade
    36         bool setPrt$( ostype &, bool );                                         // set fmt called in output cascade
    37         // public
    38         void nlOn( ostype & );                                                          // turn auto-newline state on
    39         void nlOff( ostype & );                                                         // turn auto-newline state off
    40 
    41         void sep( ostype & );                                                           // turn separator state on
    42         void nosep( ostype & );                                                         // turn separator state off
    43         bool sepOn( ostype & );                                                         // set default state to on, and return previous state
    44         bool sepOff( ostype & );                                                        // set default state to off, and return previous state
    45         const char * sepGet( ostype & );                                        // get separator string
    46         void sepSet( ostype &, const char [] );                         // set separator to string (15 character maximum)
    47         const char * sepGetTuple( ostype & );                           // get tuple separator string
    48         void sepSetTuple( ostype &, const char [] );            // set tuple separator to string (15 character maximum)
    49 
    50         void ends( ostype & );                                                          // end of output statement
    51         int fmt( ostype &, const char format[], ... ) __attribute__(( format(printf, 2, 3) ));
    52 }; // basic_ostream
     67        basic_ostream_data(ostype) const & basic_ostream_table;
     68};
    5369
    5470forall( ostype & | basic_ostream( ostype ) )
    5571trait ostream {
    56         bool fail( ostype & );                                                          // operation failed?
    57         void clearerr( ostype & );
    58         int flush( ostype & );
    59         void open( ostype &, const char name[], const char mode[] );
    60         void close( ostype & );
    61         ostype & write( ostype &, const char [], size_t );
    62 }; // ostream
     72        ostream_data(ostype) const & ostream_table;
     73};
    6374
    6475// forall( T )
    … …  
    7788#define OSTYPE_VOID_IMPL( os, T ) \
    7889        void ?|?( ostype & os, T t ) { \
    79                 (ostype &)(os | t); ends( os ); \
     90                (ostype &)(os | t); \
     91                basic_ostream_table.ends( os ); \
    8092        } // ?|?
    8193
    … …  
    308320
    309321forall( istype & )
     322struct basic_istream_data {
     323        // private
     324        bool (*getANL$)( istype & );                                                    // get scan newline (on/off)
     325        bool (*setANL$)( istype &, bool );                                              // set scan newline (on/off)
     326        // public
     327        void (*nlOn)( istype & );                                                               // read newline
     328        void (*nlOff)( istype & );                                                              // scan newline
     329        int (*fmt)( istype &, const char format[], ... ) __attribute__(( format(scanf, 2, 3) ));
     330        istype & (*ungetc)( char, istype & );
     331        bool (*eof)( istype & );
     332        void (*clearerr)( istype & );
     333}; // basic_istream
     334
     335forall( istype & )
     336struct istream_data {
     337        inline basic_istream_data( istype );
     338        bool (*fail)( istype & );
     339        void (*open)( istype & is, const char name[], const char mode[] );
     340        void (*open)( istype & is, const char name[] );
     341        void (*close)( istype & is );
     342        istype & (*read)( istype &, char [], size_t );
     343}; // istream
     344
     345forall( istype & )
    310346trait basic_istream {
    311         // private
    312         bool getANL$( istype & );                                                       // get scan newline (on/off)
    313         bool setANL$( istype &, bool );                                         // set scan newline (on/off)
    314         // public
    315         void nlOn( istype & );                                                          // read newline
    316         void nlOff( istype & );                                                         // scan newline
    317         int fmt( istype &, const char format[], ... ) __attribute__(( format(scanf, 2, 3) ));
    318         istype & ungetc( char, istype & );
    319         bool eof( istype & );
    320         void clearerr( istype & );
    321 }; // basic_istream
     347        basic_istream_data(istype) const & basic_istream_table;
     348};
    322349
    323350forall( istype & | basic_istream( istype ) )
    324351trait istream {
    325         bool fail( istype & );
    326         void open( istype & is, const char name[], const char mode[] );
    327         void open( istype & is, const char name[] );
    328         void close( istype & is );
    329         istype & read( istype &, char [], size_t );
    330 }; // istream
     352        istream_data(istype) const & istream_table;
     353};
    331354
    332355forall( T )

  • libcfa/src/strstream.cfa

    r65bd3c2 rae0c1c3  
    2828// *********************************** strstream ***********************************
    2929
     30static basic_ostream_data(ostrstream) ostrstream_basic_data = {
     31        sepPrt$,
     32        sepReset$,
     33        sepReset$,
     34        sepGetCur$,
     35        sepSetCur$,
     36        getNL$,
     37        setNL$,
     38        getANL$,
     39        setANL$,
     40        getPrt$,
     41        setPrt$,
     42        nlOn,
     43        nlOff,
     44        sep,
     45        nosep,
     46        sepOn,
     47        sepOff,
     48        sepGet,
     49        sepSet,
     50        sepGetTuple,
     51        sepSetTuple,
     52        ends,
     53        fmt,
     54};
     55
     56basic_ostream_data(ostrstream) const & basic_ostream_table = ostrstream_basic_data;
    3057
    3158#define IO_MSG "I/O error: "
    … …  
    130157
    131158// *********************************** istrstream ***********************************
     159
     160static basic_istream_data(istrstream) istrstream_basic_data = {
     161        getANL$,
     162        setANL$,
     163        nlOn,
     164        nlOff,
     165        fmt,
     166        ungetc,
     167        eof,
     168        clearerr,
     169};
     170
     171basic_istream_data(istrstream) const & basic_istream_data = istrstream_basic_data;
    132172
    133173// private

  • libcfa/src/strstream.hfa

    r65bd3c2 rae0c1c3  
    3939
    4040// Satisfies basic_ostream
     41extern basic_ostream_data(ostrstream) const & basic_ostream_table;
    4142
    4243// private
    … …  
    9091
    9192// Satisfies basic_istream
     93extern basic_istream_data(istrstream) const & basic_istream_table;
    9294
    9395// private

  • tests/collections/.expect/string-operator-ERR09.txt

    r65bd3c2 rae0c1c3  
    1515
    1616 Alternatives are:
    17 Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of
     17Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
    1818      Variable Expression: ?|?: forall
    1919        instance of type ostype (not function type)
    2020        with assertions
    21         Variable Expression: sepPrt$: pointer to function
    22         ... with parameters
    23           reference to instance of type ostype (not function type)
    24         ... returning
    25           _Bool
    26 
    27         ... with resolved type:
    28           pointer to function
    29           ... with parameters
    30             reference to instance of type ostype (not function type)
    31           ... returning
    32             _Bool
    33 
    34         Variable Expression: sepReset$: pointer to function
    35         ... with parameters
    36           reference to instance of type ostype (not function type)
    37         ... returning nothing
    38 
    39         ... with resolved type:
    40           pointer to function
    41           ... with parameters
    42             reference to instance of type ostype (not function type)
    43           ... returning nothing
    44 
    45         Variable Expression: sepReset$: pointer to function
    46         ... with parameters
    47           reference to instance of type ostype (not function type)
    48           _Bool
    49         ... returning nothing
    50 
    51         ... with resolved type:
    52           pointer to function
    53           ... with parameters
    54             reference to instance of type ostype (not function type)
    55             _Bool
    56           ... returning nothing
    57 
    58         Variable Expression: sepGetCur$: pointer to function
    59         ... with parameters
    60           reference to instance of type ostype (not function type)
    61         ... returning
    62           pointer to const char
    63 
    64         ... with resolved type:
    65           pointer to function
    66           ... with parameters
    67             reference to instance of type ostype (not function type)
    68           ... returning
    69             pointer to const char
    70 
    71         Variable Expression: sepSetCur$: pointer to function
    72         ... with parameters
    73           reference to instance of type ostype (not function type)
    74           pointer to const char
    75         ... returning nothing
    76 
    77         ... with resolved type:
    78           pointer to function
    79           ... with parameters
    80             reference to instance of type ostype (not function type)
    81             pointer to const char
    82           ... returning nothing
    83 
    84         Variable Expression: getNL$: pointer to function
    85         ... with parameters
    86           reference to instance of type ostype (not function type)
    87         ... returning
    88           _Bool
    89 
    90         ... with resolved type:
    91           pointer to function
    92           ... with parameters
    93             reference to instance of type ostype (not function type)
    94           ... returning
    95             _Bool
    96 
    97         Variable Expression: setNL$: pointer to function
    98         ... with parameters
    99           reference to instance of type ostype (not function type)
    100           _Bool
    101         ... returning
    102           _Bool
    103 
    104         ... with resolved type:
    105           pointer to function
    106           ... with parameters
    107             reference to instance of type ostype (not function type)
    108             _Bool
    109           ... returning
    110             _Bool
    111 
    112         Variable Expression: getANL$: pointer to function
    113         ... with parameters
    114           reference to instance of type ostype (not function type)
    115         ... returning
    116           _Bool
    117 
    118         ... with resolved type:
    119           pointer to function
    120           ... with parameters
    121             reference to instance of type ostype (not function type)
    122           ... returning
    123             _Bool
    124 
    125         Variable Expression: setANL$: pointer to function
    126         ... with parameters
    127           reference to instance of type ostype (not function type)
    128           _Bool
    129         ... returning
    130           _Bool
    131 
    132         ... with resolved type:
    133           pointer to function
    134           ... with parameters
    135             reference to instance of type ostype (not function type)
    136             _Bool
    137           ... returning
    138             _Bool
    139 
    140         Variable Expression: getPrt$: pointer to function
    141         ... with parameters
    142           reference to instance of type ostype (not function type)
    143         ... returning
    144           _Bool
    145 
    146         ... with resolved type:
    147           pointer to function
    148           ... with parameters
    149             reference to instance of type ostype (not function type)
    150           ... returning
    151             _Bool
    152 
    153         Variable Expression: setPrt$: pointer to function
    154         ... with parameters
    155           reference to instance of type ostype (not function type)
    156           _Bool
    157         ... returning
    158           _Bool
    159 
    160         ... with resolved type:
    161           pointer to function
    162           ... with parameters
    163             reference to instance of type ostype (not function type)
    164             _Bool
    165           ... returning
    166             _Bool
    167 
    168         Variable Expression: nlOn: pointer to function
    169         ... with parameters
    170           reference to instance of type ostype (not function type)
    171         ... returning nothing
    172 
    173         ... with resolved type:
    174           pointer to function
    175           ... with parameters
    176             reference to instance of type ostype (not function type)
    177           ... returning nothing
    178 
    179         Variable Expression: nlOff: pointer to function
    180         ... with parameters
    181           reference to instance of type ostype (not function type)
    182         ... returning nothing
    183 
    184         ... with resolved type:
    185           pointer to function
    186           ... with parameters
    187             reference to instance of type ostype (not function type)
    188           ... returning nothing
    189 
    190         Variable Expression: sep: pointer to function
    191         ... with parameters
    192           reference to instance of type ostype (not function type)
    193         ... returning nothing
    194 
    195         ... with resolved type:
    196           pointer to function
    197           ... with parameters
    198             reference to instance of type ostype (not function type)
    199           ... returning nothing
    200 
    201         Variable Expression: nosep: pointer to function
    202         ... with parameters
    203           reference to instance of type ostype (not function type)
    204         ... returning nothing
    205 
    206         ... with resolved type:
    207           pointer to function
    208           ... with parameters
    209             reference to instance of type ostype (not function type)
    210           ... returning nothing
    211 
    212         Variable Expression: sepOn: pointer to function
    213         ... with parameters
    214           reference to instance of type ostype (not function type)
    215         ... returning
    216           _Bool
    217 
    218         ... with resolved type:
    219           pointer to function
    220           ... with parameters
    221             reference to instance of type ostype (not function type)
    222           ... returning
    223             _Bool
    224 
    225         Variable Expression: sepOff: pointer to function
    226         ... with parameters
    227           reference to instance of type ostype (not function type)
    228         ... returning
    229           _Bool
    230 
    231         ... with resolved type:
    232           pointer to function
    233           ... with parameters
    234             reference to instance of type ostype (not function type)
    235           ... returning
    236             _Bool
    237 
    238         Variable Expression: sepGet: pointer to function
    239         ... with parameters
    240           reference to instance of type ostype (not function type)
    241         ... returning
    242           pointer to const char
    243 
    244         ... with resolved type:
    245           pointer to function
    246           ... with parameters
    247             reference to instance of type ostype (not function type)
    248           ... returning
    249             pointer to const char
    250 
    251         Variable Expression: sepSet: pointer to function
    252         ... with parameters
    253           reference to instance of type ostype (not function type)
    254           pointer to const char
    255         ... returning nothing
    256 
    257         ... with resolved type:
    258           pointer to function
    259           ... with parameters
    260             reference to instance of type ostype (not function type)
    261             pointer to const char
    262           ... returning nothing
    263 
    264         Variable Expression: sepGetTuple: pointer to function
    265         ... with parameters
    266           reference to instance of type ostype (not function type)
    267         ... returning
    268           pointer to const char
    269 
    270         ... with resolved type:
    271           pointer to function
    272           ... with parameters
    273             reference to instance of type ostype (not function type)
    274           ... returning
    275             pointer to const char
    276 
    277         Variable Expression: sepSetTuple: pointer to function
    278         ... with parameters
    279           reference to instance of type ostype (not function type)
    280           pointer to const char
    281         ... returning nothing
    282 
    283         ... with resolved type:
    284           pointer to function
    285           ... with parameters
    286             reference to instance of type ostype (not function type)
    287             pointer to const char
    288           ... returning nothing
    289 
    290         Variable Expression: ends: pointer to function
    291         ... with parameters
    292           reference to instance of type ostype (not function type)
    293         ... returning nothing
    294 
    295         ... with resolved type:
    296           pointer to function
    297           ... with parameters
    298             reference to instance of type ostype (not function type)
    299           ... returning nothing
    300 
    301         Variable Expression: fmt: pointer to function
    302         ... with parameters
    303           reference to instance of type ostype (not function type)
    304           pointer to const char
    305           and a variable number of other arguments
    306         ... returning
    307           signed int
    308 
    309         ... with resolved type:
    310           pointer to function
    311           ... with parameters
    312             reference to instance of type ostype (not function type)
    313             pointer to const char
    314             and a variable number of other arguments
    315           ... returning
    316             signed int
     21        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     22        ... with parameters
     23          instance of type ostype (not function type)
     24
     25        ... with resolved type:
     26          reference to const instance of struct basic_ostream_data with body
     27          ... with parameters
     28            instance of type ostype (not function type)
    31729
    31830        function
    … …  
    32739          instance of type [unbound] (not function type)
    32840          with assertions
    329           Variable Expression: sepPrt$: pointer to function
    330           ... with parameters
    331             reference to instance of type ostype (not function type)
    332           ... returning
    333             _Bool
     41          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     42          ... with parameters
     43            instance of type ostype (not function type)
    33444
    33545          ... with resolved type:
    336             pointer to function
     46            reference to const instance of struct basic_ostream_data with body
    33747            ... with parameters
    338               reference to instance of type [unbound] (not function type)
    339             ... returning
    340               _Bool
    341 
    342           Variable Expression: sepReset$: pointer to function
    343           ... with parameters
    344             reference to instance of type ostype (not function type)
    345           ... returning nothing
    346 
    347           ... with resolved type:
    348             pointer to function
    349             ... with parameters
    350               reference to instance of type [unbound] (not function type)
    351             ... returning nothing
    352 
    353           Variable Expression: sepReset$: pointer to function
    354           ... with parameters
    355             reference to instance of type ostype (not function type)
    356             _Bool
    357           ... returning nothing
    358 
    359           ... with resolved type:
    360             pointer to function
    361             ... with parameters
    362               reference to instance of type [unbound] (not function type)
    363               _Bool
    364             ... returning nothing
    365 
    366           Variable Expression: sepGetCur$: pointer to function
    367           ... with parameters
    368             reference to instance of type ostype (not function type)
    369           ... returning
    370             pointer to const char
    371 
    372           ... with resolved type:
    373             pointer to function
    374             ... with parameters
    375               reference to instance of type [unbound] (not function type)
    376             ... returning
    377               pointer to const char
    378 
    379           Variable Expression: sepSetCur$: pointer to function
    380           ... with parameters
    381             reference to instance of type ostype (not function type)
    382             pointer to const char
    383           ... returning nothing
    384 
    385           ... with resolved type:
    386             pointer to function
    387             ... with parameters
    388               reference to instance of type [unbound] (not function type)
    389               pointer to const char
    390             ... returning nothing
    391 
    392           Variable Expression: getNL$: pointer to function
    393           ... with parameters
    394             reference to instance of type ostype (not function type)
    395           ... returning
    396             _Bool
    397 
    398           ... with resolved type:
    399             pointer to function
    400             ... with parameters
    401               reference to instance of type [unbound] (not function type)
    402             ... returning
    403               _Bool
    404 
    405           Variable Expression: setNL$: pointer to function
    406           ... with parameters
    407             reference to instance of type ostype (not function type)
    408             _Bool
    409           ... returning
    410             _Bool
    411 
    412           ... with resolved type:
    413             pointer to function
    414             ... with parameters
    415               reference to instance of type [unbound] (not function type)
    416               _Bool
    417             ... returning
    418               _Bool
    419 
    420           Variable Expression: getANL$: pointer to function
    421           ... with parameters
    422             reference to instance of type ostype (not function type)
    423           ... returning
    424             _Bool
    425 
    426           ... with resolved type:
    427             pointer to function
    428             ... with parameters
    429               reference to instance of type [unbound] (not function type)
    430             ... returning
    431               _Bool
    432 
    433           Variable Expression: setANL$: pointer to function
    434           ... with parameters
    435             reference to instance of type ostype (not function type)
    436             _Bool
    437           ... returning
    438             _Bool
    439 
    440           ... with resolved type:
    441             pointer to function
    442             ... with parameters
    443               reference to instance of type [unbound] (not function type)
    444               _Bool
    445             ... returning
    446               _Bool
    447 
    448           Variable Expression: getPrt$: pointer to function
    449           ... with parameters
    450             reference to instance of type ostype (not function type)
    451           ... returning
    452             _Bool
    453 
    454           ... with resolved type:
    455             pointer to function
    456             ... with parameters
    457               reference to instance of type [unbound] (not function type)
    458             ... returning
    459               _Bool
    460 
    461           Variable Expression: setPrt$: pointer to function
    462           ... with parameters
    463             reference to instance of type ostype (not function type)
    464             _Bool
    465           ... returning
    466             _Bool
    467 
    468           ... with resolved type:
    469             pointer to function
    470             ... with parameters
    471               reference to instance of type [unbound] (not function type)
    472               _Bool
    473             ... returning
    474               _Bool
    475 
    476           Variable Expression: nlOn: pointer to function
    477           ... with parameters
    478             reference to instance of type ostype (not function type)
    479           ... returning nothing
    480 
    481           ... with resolved type:
    482             pointer to function
    483             ... with parameters
    484               reference to instance of type [unbound] (not function type)
    485             ... returning nothing
    486 
    487           Variable Expression: nlOff: pointer to function
    488           ... with parameters
    489             reference to instance of type ostype (not function type)
    490           ... returning nothing
    491 
    492           ... with resolved type:
    493             pointer to function
    494             ... with parameters
    495               reference to instance of type [unbound] (not function type)
    496             ... returning nothing
    497 
    498           Variable Expression: sep: pointer to function
    499           ... with parameters
    500             reference to instance of type ostype (not function type)
    501           ... returning nothing
    502 
    503           ... with resolved type:
    504             pointer to function
    505             ... with parameters
    506               reference to instance of type [unbound] (not function type)
    507             ... returning nothing
    508 
    509           Variable Expression: nosep: pointer to function
    510           ... with parameters
    511             reference to instance of type ostype (not function type)
    512           ... returning nothing
    513 
    514           ... with resolved type:
    515             pointer to function
    516             ... with parameters
    517               reference to instance of type [unbound] (not function type)
    518             ... returning nothing
    519 
    520           Variable Expression: sepOn: pointer to function
    521           ... with parameters
    522             reference to instance of type ostype (not function type)
    523           ... returning
    524             _Bool
    525 
    526           ... with resolved type:
    527             pointer to function
    528             ... with parameters
    529               reference to instance of type [unbound] (not function type)
    530             ... returning
    531               _Bool
    532 
    533           Variable Expression: sepOff: pointer to function
    534           ... with parameters
    535             reference to instance of type ostype (not function type)
    536           ... returning
    537             _Bool
    538 
    539           ... with resolved type:
    540             pointer to function
    541             ... with parameters
    542               reference to instance of type [unbound] (not function type)
    543             ... returning
    544               _Bool
    545 
    546           Variable Expression: sepGet: pointer to function
    547           ... with parameters
    548             reference to instance of type ostype (not function type)
    549           ... returning
    550             pointer to const char
    551 
    552           ... with resolved type:
    553             pointer to function
    554             ... with parameters
    555               reference to instance of type [unbound] (not function type)
    556             ... returning
    557               pointer to const char
    558 
    559           Variable Expression: sepSet: pointer to function
    560           ... with parameters
    561             reference to instance of type ostype (not function type)
    562             pointer to const char
    563           ... returning nothing
    564 
    565           ... with resolved type:
    566             pointer to function
    567             ... with parameters
    568               reference to instance of type [unbound] (not function type)
    569               pointer to const char
    570             ... returning nothing
    571 
    572           Variable Expression: sepGetTuple: pointer to function
    573           ... with parameters
    574             reference to instance of type ostype (not function type)
    575           ... returning
    576             pointer to const char
    577 
    578           ... with resolved type:
    579             pointer to function
    580             ... with parameters
    581               reference to instance of type [unbound] (not function type)
    582             ... returning
    583               pointer to const char
    584 
    585           Variable Expression: sepSetTuple: pointer to function
    586           ... with parameters
    587             reference to instance of type ostype (not function type)
    588             pointer to const char
    589           ... returning nothing
    590 
    591           ... with resolved type:
    592             pointer to function
    593             ... with parameters
    594               reference to instance of type [unbound] (not function type)
    595               pointer to const char
    596             ... returning nothing
    597 
    598           Variable Expression: ends: pointer to function
    599           ... with parameters
    600             reference to instance of type ostype (not function type)
    601           ... returning nothing
    602 
    603           ... with resolved type:
    604             pointer to function
    605             ... with parameters
    606               reference to instance of type [unbound] (not function type)
    607             ... returning nothing
    608 
    609           Variable Expression: fmt: pointer to function
    610           ... with parameters
    611             reference to instance of type ostype (not function type)
    612             pointer to const char
    613             and a variable number of other arguments
    614           ... returning
    615             signed int
    616 
    617           ... with resolved type:
    618             pointer to function
    619             ... with parameters
    620               reference to instance of type [unbound] (not function type)
    621               pointer to const char
    622               and a variable number of other arguments
    623             ... returning
    624               signed int
     48              instance of type [unbound] (not function type)
    62549
    62650          function
    … …  
    66286        char
    66387    with inferred parameters 0:
    664       sepPrt$: function
    665       ... with parameters
    666         reference to instance of struct ofstream with body
    667       ... returning
    668         _Bool
    669 
    670       sepReset$: function
    671       ... with parameters
    672         reference to instance of struct ofstream with body
    673       ... returning nothing
    674 
    675       sepReset$: function
    676       ... with parameters
    677         reference to instance of struct ofstream with body
    678         _Bool
    679       ... returning nothing
    680 
    681       sepGetCur$: function
    682       ... with parameters
    683         reference to instance of struct ofstream with body
    684       ... returning
    685         pointer to const char
    686 
    687       sepSetCur$: function
    688       ... with parameters
    689         reference to instance of struct ofstream with body
    690         pointer to const char
    691       ... returning nothing
    692 
    693       getNL$: function
    694       ... with parameters
    695         reference to instance of struct ofstream with body
    696       ... returning
    697         _Bool
    698 
    699       setNL$: function
    700       ... with parameters
    701         reference to instance of struct ofstream with body
    702         _Bool
    703       ... returning
    704         _Bool
    705 
    706       getANL$: function
    707       ... with parameters
    708         reference to instance of struct ofstream with body
    709       ... returning
    710         _Bool
    711 
    712       setANL$: function
    713       ... with parameters
    714         reference to instance of struct ofstream with body
    715         _Bool
    716       ... returning
    717         _Bool
    718 
    719       getPrt$: function
    720       ... with parameters
    721         reference to instance of struct ofstream with body
    722       ... returning
    723         _Bool
    724 
    725       setPrt$: function
    726       ... with parameters
    727         reference to instance of struct ofstream with body
    728         _Bool
    729       ... returning
    730         _Bool
    731 
    732       nlOn: function
    733       ... with parameters
    734         reference to instance of struct ofstream with body
    735       ... returning nothing
    736 
    737       nlOff: function
    738       ... with parameters
    739         reference to instance of struct ofstream with body
    740       ... returning nothing
    741 
    742       sep: function
    743       ... with parameters
    744         reference to instance of struct ofstream with body
    745       ... returning nothing
    746 
    747       nosep: function
    748       ... with parameters
    749         reference to instance of struct ofstream with body
    750       ... returning nothing
    751 
    752       sepOn: function
    753       ... with parameters
    754         reference to instance of struct ofstream with body
    755       ... returning
    756         _Bool
    757 
    758       sepOff: function
    759       ... with parameters
    760         reference to instance of struct ofstream with body
    761       ... returning
    762         _Bool
    763 
    764       sepGet: function
    765       ... with parameters
    766         reference to instance of struct ofstream with body
    767       ... returning
    768         pointer to const char
    769 
    770       sepSet: function
    771       ... with parameters
    772         reference to instance of struct ofstream with body
    773         pointer to const char
    774       ... returning nothing
    775 
    776       sepGetTuple: function
    777       ... with parameters
    778         reference to instance of struct ofstream with body
    779       ... returning
    780         pointer to const char
    781 
    782       sepSetTuple: function
    783       ... with parameters
    784         reference to instance of struct ofstream with body
    785         pointer to const char
    786       ... returning nothing
    787 
    788       ends: function
    789       ... with parameters
    790         reference to instance of struct ofstream with body
    791       ... returning nothing
    792 
    793       fmt: function
    794       ... with parameters
    795         reference to instance of struct ofstream with body
    796         pointer to const char
    797         and a variable number of other arguments
    798       ... returning
    799         signed int
     88      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     89      ... with parameters
     90        instance of struct ofstream with body
    80091
    80192
    … …  
    80899
    809100
    810 Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of
     101Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
    811102      Variable Expression: ?|?: forall
    812103        instance of type ostype (not function type)
    813104        with assertions
    814         Variable Expression: sepPrt$: pointer to function
    815         ... with parameters
    816           reference to instance of type ostype (not function type)
    817         ... returning
    818           _Bool
    819 
    820         ... with resolved type:
    821           pointer to function
    822           ... with parameters
    823             reference to instance of type ostype (not function type)
    824           ... returning
    825             _Bool
    826 
    827         Variable Expression: sepReset$: pointer to function
    828         ... with parameters
    829           reference to instance of type ostype (not function type)
    830         ... returning nothing
    831 
    832         ... with resolved type:
    833           pointer to function
    834           ... with parameters
    835             reference to instance of type ostype (not function type)
    836           ... returning nothing
    837 
    838         Variable Expression: sepReset$: pointer to function
    839         ... with parameters
    840           reference to instance of type ostype (not function type)
    841           _Bool
    842         ... returning nothing
    843 
    844         ... with resolved type:
    845           pointer to function
    846           ... with parameters
    847             reference to instance of type ostype (not function type)
    848             _Bool
    849           ... returning nothing
    850 
    851         Variable Expression: sepGetCur$: pointer to function
    852         ... with parameters
    853           reference to instance of type ostype (not function type)
    854         ... returning
    855           pointer to const char
    856 
    857         ... with resolved type:
    858           pointer to function
    859           ... with parameters
    860             reference to instance of type ostype (not function type)
    861           ... returning
    862             pointer to const char
    863 
    864         Variable Expression: sepSetCur$: pointer to function
    865         ... with parameters
    866           reference to instance of type ostype (not function type)
    867           pointer to const char
    868         ... returning nothing
    869 
    870         ... with resolved type:
    871           pointer to function
    872           ... with parameters
    873             reference to instance of type ostype (not function type)
    874             pointer to const char
    875           ... returning nothing
    876 
    877         Variable Expression: getNL$: pointer to function
    878         ... with parameters
    879           reference to instance of type ostype (not function type)
    880         ... returning
    881           _Bool
    882 
    883         ... with resolved type:
    884           pointer to function
    885           ... with parameters
    886             reference to instance of type ostype (not function type)
    887           ... returning
    888             _Bool
    889 
    890         Variable Expression: setNL$: pointer to function
    891         ... with parameters
    892           reference to instance of type ostype (not function type)
    893           _Bool
    894         ... returning
    895           _Bool
    896 
    897         ... with resolved type:
    898           pointer to function
    899           ... with parameters
    900             reference to instance of type ostype (not function type)
    901             _Bool
    902           ... returning
    903             _Bool
    904 
    905         Variable Expression: getANL$: pointer to function
    906         ... with parameters
    907           reference to instance of type ostype (not function type)
    908         ... returning
    909           _Bool
    910 
    911         ... with resolved type:
    912           pointer to function
    913           ... with parameters
    914             reference to instance of type ostype (not function type)
    915           ... returning
    916             _Bool
    917 
    918         Variable Expression: setANL$: pointer to function
    919         ... with parameters
    920           reference to instance of type ostype (not function type)
    921           _Bool
    922         ... returning
    923           _Bool
    924 
    925         ... with resolved type:
    926           pointer to function
    927           ... with parameters
    928             reference to instance of type ostype (not function type)
    929             _Bool
    930           ... returning
    931             _Bool
    932 
    933         Variable Expression: getPrt$: pointer to function
    934         ... with parameters
    935           reference to instance of type ostype (not function type)
    936         ... returning
    937           _Bool
    938 
    939         ... with resolved type:
    940           pointer to function
    941           ... with parameters
    942             reference to instance of type ostype (not function type)
    943           ... returning
    944             _Bool
    945 
    946         Variable Expression: setPrt$: pointer to function
    947         ... with parameters
    948           reference to instance of type ostype (not function type)
    949           _Bool
    950         ... returning
    951           _Bool
    952 
    953         ... with resolved type:
    954           pointer to function
    955           ... with parameters
    956             reference to instance of type ostype (not function type)
    957             _Bool
    958           ... returning
    959             _Bool
    960 
    961         Variable Expression: nlOn: pointer to function
    962         ... with parameters
    963           reference to instance of type ostype (not function type)
    964         ... returning nothing
    965 
    966         ... with resolved type:
    967           pointer to function
    968           ... with parameters
    969             reference to instance of type ostype (not function type)
    970           ... returning nothing
    971 
    972         Variable Expression: nlOff: pointer to function
    973         ... with parameters
    974           reference to instance of type ostype (not function type)
    975         ... returning nothing
    976 
    977         ... with resolved type:
    978           pointer to function
    979           ... with parameters
    980             reference to instance of type ostype (not function type)
    981           ... returning nothing
    982 
    983         Variable Expression: sep: pointer to function
    984         ... with parameters
    985           reference to instance of type ostype (not function type)
    986         ... returning nothing
    987 
    988         ... with resolved type:
    989           pointer to function
    990           ... with parameters
    991             reference to instance of type ostype (not function type)
    992           ... returning nothing
    993 
    994         Variable Expression: nosep: pointer to function
    995         ... with parameters
    996           reference to instance of type ostype (not function type)
    997         ... returning nothing
    998 
    999         ... with resolved type:
    1000           pointer to function
    1001           ... with parameters
    1002             reference to instance of type ostype (not function type)
    1003           ... returning nothing
    1004 
    1005         Variable Expression: sepOn: pointer to function
    1006         ... with parameters
    1007           reference to instance of type ostype (not function type)
    1008         ... returning
    1009           _Bool
    1010 
    1011         ... with resolved type:
    1012           pointer to function
    1013           ... with parameters
    1014             reference to instance of type ostype (not function type)
    1015           ... returning
    1016             _Bool
    1017 
    1018         Variable Expression: sepOff: pointer to function
    1019         ... with parameters
    1020           reference to instance of type ostype (not function type)
    1021         ... returning
    1022           _Bool
    1023 
    1024         ... with resolved type:
    1025           pointer to function
    1026           ... with parameters
    1027             reference to instance of type ostype (not function type)
    1028           ... returning
    1029             _Bool
    1030 
    1031         Variable Expression: sepGet: pointer to function
    1032         ... with parameters
    1033           reference to instance of type ostype (not function type)
    1034         ... returning
    1035           pointer to const char
    1036 
    1037         ... with resolved type:
    1038           pointer to function
    1039           ... with parameters
    1040             reference to instance of type ostype (not function type)
    1041           ... returning
    1042             pointer to const char
    1043 
    1044         Variable Expression: sepSet: pointer to function
    1045         ... with parameters
    1046           reference to instance of type ostype (not function type)
    1047           pointer to const char
    1048         ... returning nothing
    1049 
    1050         ... with resolved type:
    1051           pointer to function
    1052           ... with parameters
    1053             reference to instance of type ostype (not function type)
    1054             pointer to const char
    1055           ... returning nothing
    1056 
    1057         Variable Expression: sepGetTuple: pointer to function
    1058         ... with parameters
    1059           reference to instance of type ostype (not function type)
    1060         ... returning
    1061           pointer to const char
    1062 
    1063         ... with resolved type:
    1064           pointer to function
    1065           ... with parameters
    1066             reference to instance of type ostype (not function type)
    1067           ... returning
    1068             pointer to const char
    1069 
    1070         Variable Expression: sepSetTuple: pointer to function
    1071         ... with parameters
    1072           reference to instance of type ostype (not function type)
    1073           pointer to const char
    1074         ... returning nothing
    1075 
    1076         ... with resolved type:
    1077           pointer to function
    1078           ... with parameters
    1079             reference to instance of type ostype (not function type)
    1080             pointer to const char
    1081           ... returning nothing
    1082 
    1083         Variable Expression: ends: pointer to function
    1084         ... with parameters
    1085           reference to instance of type ostype (not function type)
    1086         ... returning nothing
    1087 
    1088         ... with resolved type:
    1089           pointer to function
    1090           ... with parameters
    1091             reference to instance of type ostype (not function type)
    1092           ... returning nothing
    1093 
    1094         Variable Expression: fmt: pointer to function
    1095         ... with parameters
    1096           reference to instance of type ostype (not function type)
    1097           pointer to const char
    1098           and a variable number of other arguments
    1099         ... returning
    1100           signed int
    1101 
    1102         ... with resolved type:
    1103           pointer to function
    1104           ... with parameters
    1105             reference to instance of type ostype (not function type)
    1106             pointer to const char
    1107             and a variable number of other arguments
    1108           ... returning
    1109             signed int
     105        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     106        ... with parameters
     107          instance of type ostype (not function type)
     108
     109        ... with resolved type:
     110          reference to const instance of struct basic_ostream_data with body
     111          ... with parameters
     112            instance of type ostype (not function type)
    1110113
    1111114        function
    … …  
    1119122          instance of type [unbound] (not function type)
    1120123          with assertions
    1121           Variable Expression: sepPrt$: pointer to function
    1122           ... with parameters
    1123             reference to instance of type ostype (not function type)
    1124           ... returning
    1125             _Bool
     124          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     125          ... with parameters
     126            instance of type ostype (not function type)
    1126127
    1127128          ... with resolved type:
    1128             pointer to function
     129            reference to const instance of struct basic_ostream_data with body
    1129130            ... with parameters
    1130               reference to instance of type [unbound] (not function type)
    1131             ... returning
    1132               _Bool
    1133 
    1134           Variable Expression: sepReset$: pointer to function
    1135           ... with parameters
    1136             reference to instance of type ostype (not function type)
    1137           ... returning nothing
    1138 
    1139           ... with resolved type:
    1140             pointer to function
    1141             ... with parameters
    1142               reference to instance of type [unbound] (not function type)
    1143             ... returning nothing
    1144 
    1145           Variable Expression: sepReset$: pointer to function
    1146           ... with parameters
    1147             reference to instance of type ostype (not function type)
    1148             _Bool
    1149           ... returning nothing
    1150 
    1151           ... with resolved type:
    1152             pointer to function
    1153             ... with parameters
    1154               reference to instance of type [unbound] (not function type)
    1155               _Bool
    1156             ... returning nothing
    1157 
    1158           Variable Expression: sepGetCur$: pointer to function
    1159           ... with parameters
    1160             reference to instance of type ostype (not function type)
    1161           ... returning
    1162             pointer to const char
    1163 
    1164           ... with resolved type:
    1165             pointer to function
    1166             ... with parameters
    1167               reference to instance of type [unbound] (not function type)
    1168             ... returning
    1169               pointer to const char
    1170 
    1171           Variable Expression: sepSetCur$: pointer to function
    1172           ... with parameters
    1173             reference to instance of type ostype (not function type)
    1174             pointer to const char
    1175           ... returning nothing
    1176 
    1177           ... with resolved type:
    1178             pointer to function
    1179             ... with parameters
    1180               reference to instance of type [unbound] (not function type)
    1181               pointer to const char
    1182             ... returning nothing
    1183 
    1184           Variable Expression: getNL$: pointer to function
    1185           ... with parameters
    1186             reference to instance of type ostype (not function type)
    1187           ... returning
    1188             _Bool
    1189 
    1190           ... with resolved type:
    1191             pointer to function
    1192             ... with parameters
    1193               reference to instance of type [unbound] (not function type)
    1194             ... returning
    1195               _Bool
    1196 
    1197           Variable Expression: setNL$: pointer to function
    1198           ... with parameters
    1199             reference to instance of type ostype (not function type)
    1200             _Bool
    1201           ... returning
    1202             _Bool
    1203 
    1204           ... with resolved type:
    1205             pointer to function
    1206             ... with parameters
    1207               reference to instance of type [unbound] (not function type)
    1208               _Bool
    1209             ... returning
    1210               _Bool
    1211 
    1212           Variable Expression: getANL$: pointer to function
    1213           ... with parameters
    1214             reference to instance of type ostype (not function type)
    1215           ... returning
    1216             _Bool
    1217 
    1218           ... with resolved type:
    1219             pointer to function
    1220             ... with parameters
    1221               reference to instance of type [unbound] (not function type)
    1222             ... returning
    1223               _Bool
    1224 
    1225           Variable Expression: setANL$: pointer to function
    1226           ... with parameters
    1227             reference to instance of type ostype (not function type)
    1228             _Bool
    1229           ... returning
    1230             _Bool
    1231 
    1232           ... with resolved type:
    1233             pointer to function
    1234             ... with parameters
    1235               reference to instance of type [unbound] (not function type)
    1236               _Bool
    1237             ... returning
    1238               _Bool
    1239 
    1240           Variable Expression: getPrt$: pointer to function
    1241           ... with parameters
    1242             reference to instance of type ostype (not function type)
    1243           ... returning
    1244             _Bool
    1245 
    1246           ... with resolved type:
    1247             pointer to function
    1248             ... with parameters
    1249               reference to instance of type [unbound] (not function type)
    1250             ... returning
    1251               _Bool
    1252 
    1253           Variable Expression: setPrt$: pointer to function
    1254           ... with parameters
    1255             reference to instance of type ostype (not function type)
    1256             _Bool
    1257           ... returning
    1258             _Bool
    1259 
    1260           ... with resolved type:
    1261             pointer to function
    1262             ... with parameters
    1263               reference to instance of type [unbound] (not function type)
    1264               _Bool
    1265             ... returning
    1266               _Bool
    1267 
    1268           Variable Expression: nlOn: pointer to function
    1269           ... with parameters
    1270             reference to instance of type ostype (not function type)
    1271           ... returning nothing
    1272 
    1273           ... with resolved type:
    1274             pointer to function
    1275             ... with parameters
    1276               reference to instance of type [unbound] (not function type)
    1277             ... returning nothing
    1278 
    1279           Variable Expression: nlOff: pointer to function
    1280           ... with parameters
    1281             reference to instance of type ostype (not function type)
    1282           ... returning nothing
    1283 
    1284           ... with resolved type:
    1285             pointer to function
    1286             ... with parameters
    1287               reference to instance of type [unbound] (not function type)
    1288             ... returning nothing
    1289 
    1290           Variable Expression: sep: pointer to function
    1291           ... with parameters
    1292             reference to instance of type ostype (not function type)
    1293           ... returning nothing
    1294 
    1295           ... with resolved type:
    1296             pointer to function
    1297             ... with parameters
    1298               reference to instance of type [unbound] (not function type)
    1299             ... returning nothing
    1300 
    1301           Variable Expression: nosep: pointer to function
    1302           ... with parameters
    1303             reference to instance of type ostype (not function type)
    1304           ... returning nothing
    1305 
    1306           ... with resolved type:
    1307             pointer to function
    1308             ... with parameters
    1309               reference to instance of type [unbound] (not function type)
    1310             ... returning nothing
    1311 
    1312           Variable Expression: sepOn: pointer to function
    1313           ... with parameters
    1314             reference to instance of type ostype (not function type)
    1315           ... returning
    1316             _Bool
    1317 
    1318           ... with resolved type:
    1319             pointer to function
    1320             ... with parameters
    1321               reference to instance of type [unbound] (not function type)
    1322             ... returning
    1323               _Bool
    1324 
    1325           Variable Expression: sepOff: pointer to function
    1326           ... with parameters
    1327             reference to instance of type ostype (not function type)
    1328           ... returning
    1329             _Bool
    1330 
    1331           ... with resolved type:
    1332             pointer to function
    1333             ... with parameters
    1334               reference to instance of type [unbound] (not function type)
    1335             ... returning
    1336               _Bool
    1337 
    1338           Variable Expression: sepGet: pointer to function
    1339           ... with parameters
    1340             reference to instance of type ostype (not function type)
    1341           ... returning
    1342             pointer to const char
    1343 
    1344           ... with resolved type:
    1345             pointer to function
    1346             ... with parameters
    1347               reference to instance of type [unbound] (not function type)
    1348             ... returning
    1349               pointer to const char
    1350 
    1351           Variable Expression: sepSet: pointer to function
    1352           ... with parameters
    1353             reference to instance of type ostype (not function type)
    1354             pointer to const char
    1355           ... returning nothing
    1356 
    1357           ... with resolved type:
    1358             pointer to function
    1359             ... with parameters
    1360               reference to instance of type [unbound] (not function type)
    1361               pointer to const char
    1362             ... returning nothing
    1363 
    1364           Variable Expression: sepGetTuple: pointer to function
    1365           ... with parameters
    1366             reference to instance of type ostype (not function type)
    1367           ... returning
    1368             pointer to const char
    1369 
    1370           ... with resolved type:
    1371             pointer to function
    1372             ... with parameters
    1373               reference to instance of type [unbound] (not function type)
    1374             ... returning
    1375               pointer to const char
    1376 
    1377           Variable Expression: sepSetTuple: pointer to function
    1378           ... with parameters
    1379             reference to instance of type ostype (not function type)
    1380             pointer to const char
    1381           ... returning nothing
    1382 
    1383           ... with resolved type:
    1384             pointer to function
    1385             ... with parameters
    1386               reference to instance of type [unbound] (not function type)
    1387               pointer to const char
    1388             ... returning nothing
    1389 
    1390           Variable Expression: ends: pointer to function
    1391           ... with parameters
    1392             reference to instance of type ostype (not function type)
    1393           ... returning nothing
    1394 
    1395           ... with resolved type:
    1396             pointer to function
    1397             ... with parameters
    1398               reference to instance of type [unbound] (not function type)
    1399             ... returning nothing
    1400 
    1401           Variable Expression: fmt: pointer to function
    1402           ... with parameters
    1403             reference to instance of type ostype (not function type)
    1404             pointer to const char
    1405             and a variable number of other arguments
    1406           ... returning
    1407             signed int
    1408 
    1409           ... with resolved type:
    1410             pointer to function
    1411             ... with parameters
    1412               reference to instance of type [unbound] (not function type)
    1413               pointer to const char
    1414               and a variable number of other arguments
    1415             ... returning
    1416               signed int
     131              instance of type [unbound] (not function type)
    1417132
    1418133          function
    … …  
    1453168        char
    1454169    with inferred parameters 0:
    1455       sepPrt$: function
    1456       ... with parameters
    1457         reference to instance of struct ofstream with body
    1458       ... returning
    1459         _Bool
    1460 
    1461       sepReset$: function
    1462       ... with parameters
    1463         reference to instance of struct ofstream with body
    1464       ... returning nothing
    1465 
    1466       sepReset$: function
    1467       ... with parameters
    1468         reference to instance of struct ofstream with body
    1469         _Bool
    1470       ... returning nothing
    1471 
    1472       sepGetCur$: function
    1473       ... with parameters
    1474         reference to instance of struct ofstream with body
    1475       ... returning
    1476         pointer to const char
    1477 
    1478       sepSetCur$: function
    1479       ... with parameters
    1480         reference to instance of struct ofstream with body
    1481         pointer to const char
    1482       ... returning nothing
    1483 
    1484       getNL$: function
    1485       ... with parameters
    1486         reference to instance of struct ofstream with body
    1487       ... returning
    1488         _Bool
    1489 
    1490       setNL$: function
    1491       ... with parameters
    1492         reference to instance of struct ofstream with body
    1493         _Bool
    1494       ... returning
    1495         _Bool
    1496 
    1497       getANL$: function
    1498       ... with parameters
    1499         reference to instance of struct ofstream with body
    1500       ... returning
    1501         _Bool
    1502 
    1503       setANL$: function
    1504       ... with parameters
    1505         reference to instance of struct ofstream with body
    1506         _Bool
    1507       ... returning
    1508         _Bool
    1509 
    1510       getPrt$: function
    1511       ... with parameters
    1512         reference to instance of struct ofstream with body
    1513       ... returning
    1514         _Bool
    1515 
    1516       setPrt$: function
    1517       ... with parameters
    1518         reference to instance of struct ofstream with body
    1519         _Bool
    1520       ... returning
    1521         _Bool
    1522 
    1523       nlOn: function
    1524       ... with parameters
    1525         reference to instance of struct ofstream with body
    1526       ... returning nothing
    1527 
    1528       nlOff: function
    1529       ... with parameters
    1530         reference to instance of struct ofstream with body
    1531       ... returning nothing
    1532 
    1533       sep: function
    1534       ... with parameters
    1535         reference to instance of struct ofstream with body
    1536       ... returning nothing
    1537 
    1538       nosep: function
    1539       ... with parameters
    1540         reference to instance of struct ofstream with body
    1541       ... returning nothing
    1542 
    1543       sepOn: function
    1544       ... with parameters
    1545         reference to instance of struct ofstream with body
    1546       ... returning
    1547         _Bool
    1548 
    1549       sepOff: function
    1550       ... with parameters
    1551         reference to instance of struct ofstream with body
    1552       ... returning
    1553         _Bool
    1554 
    1555       sepGet: function
    1556       ... with parameters
    1557         reference to instance of struct ofstream with body
    1558       ... returning
    1559         pointer to const char
    1560 
    1561       sepSet: function
    1562       ... with parameters
    1563         reference to instance of struct ofstream with body
    1564         pointer to const char
    1565       ... returning nothing
    1566 
    1567       sepGetTuple: function
    1568       ... with parameters
    1569         reference to instance of struct ofstream with body
    1570       ... returning
    1571         pointer to const char
    1572 
    1573       sepSetTuple: function
    1574       ... with parameters
    1575         reference to instance of struct ofstream with body
    1576         pointer to const char
    1577       ... returning nothing
    1578 
    1579       ends: function
    1580       ... with parameters
    1581         reference to instance of struct ofstream with body
    1582       ... returning nothing
    1583 
    1584       fmt: function
    1585       ... with parameters
    1586         reference to instance of struct ofstream with body
    1587         pointer to const char
    1588         and a variable number of other arguments
    1589       ... returning
    1590         signed int
     170      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     171      ... with parameters
     172        instance of struct ofstream with body
    1591173
    1592174
    … …  
    1599181
    1600182
    1601 Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of
     183Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
    1602184      Variable Expression: ?|?: forall
    1603185        instance of type ostype (not function type)
    1604186        with assertions
    1605         Variable Expression: sepPrt$: pointer to function
    1606         ... with parameters
    1607           reference to instance of type ostype (not function type)
    1608         ... returning
    1609           _Bool
    1610 
    1611         ... with resolved type:
    1612           pointer to function
    1613           ... with parameters
    1614             reference to instance of type ostype (not function type)
    1615           ... returning
    1616             _Bool
    1617 
    1618         Variable Expression: sepReset$: pointer to function
    1619         ... with parameters
    1620           reference to instance of type ostype (not function type)
    1621         ... returning nothing
    1622 
    1623         ... with resolved type:
    1624           pointer to function
    1625           ... with parameters
    1626             reference to instance of type ostype (not function type)
    1627           ... returning nothing
    1628 
    1629         Variable Expression: sepReset$: pointer to function
    1630         ... with parameters
    1631           reference to instance of type ostype (not function type)
    1632           _Bool
    1633         ... returning nothing
    1634 
    1635         ... with resolved type:
    1636           pointer to function
    1637           ... with parameters
    1638             reference to instance of type ostype (not function type)
    1639             _Bool
    1640           ... returning nothing
    1641 
    1642         Variable Expression: sepGetCur$: pointer to function
    1643         ... with parameters
    1644           reference to instance of type ostype (not function type)
    1645         ... returning
    1646           pointer to const char
    1647 
    1648         ... with resolved type:
    1649           pointer to function
    1650           ... with parameters
    1651             reference to instance of type ostype (not function type)
    1652           ... returning
    1653             pointer to const char
    1654 
    1655         Variable Expression: sepSetCur$: pointer to function
    1656         ... with parameters
    1657           reference to instance of type ostype (not function type)
    1658           pointer to const char
    1659         ... returning nothing
    1660 
    1661         ... with resolved type:
    1662           pointer to function
    1663           ... with parameters
    1664             reference to instance of type ostype (not function type)
    1665             pointer to const char
    1666           ... returning nothing
    1667 
    1668         Variable Expression: getNL$: pointer to function
    1669         ... with parameters
    1670           reference to instance of type ostype (not function type)
    1671         ... returning
    1672           _Bool
    1673 
    1674         ... with resolved type:
    1675           pointer to function
    1676           ... with parameters
    1677             reference to instance of type ostype (not function type)
    1678           ... returning
    1679             _Bool
    1680 
    1681         Variable Expression: setNL$: pointer to function
    1682         ... with parameters
    1683           reference to instance of type ostype (not function type)
    1684           _Bool
    1685         ... returning
    1686           _Bool
    1687 
    1688         ... with resolved type:
    1689           pointer to function
    1690           ... with parameters
    1691             reference to instance of type ostype (not function type)
    1692             _Bool
    1693           ... returning
    1694             _Bool
    1695 
    1696         Variable Expression: getANL$: pointer to function
    1697         ... with parameters
    1698           reference to instance of type ostype (not function type)
    1699         ... returning
    1700           _Bool
    1701 
    1702         ... with resolved type:
    1703           pointer to function
    1704           ... with parameters
    1705             reference to instance of type ostype (not function type)
    1706           ... returning
    1707             _Bool
    1708 
    1709         Variable Expression: setANL$: pointer to function
    1710         ... with parameters
    1711           reference to instance of type ostype (not function type)
    1712           _Bool
    1713         ... returning
    1714           _Bool
    1715 
    1716         ... with resolved type:
    1717           pointer to function
    1718           ... with parameters
    1719             reference to instance of type ostype (not function type)
    1720             _Bool
    1721           ... returning
    1722             _Bool
    1723 
    1724         Variable Expression: getPrt$: pointer to function
    1725         ... with parameters
    1726           reference to instance of type ostype (not function type)
    1727         ... returning
    1728           _Bool
    1729 
    1730         ... with resolved type:
    1731           pointer to function
    1732           ... with parameters
    1733             reference to instance of type ostype (not function type)
    1734           ... returning
    1735             _Bool
    1736 
    1737         Variable Expression: setPrt$: pointer to function
    1738         ... with parameters
    1739           reference to instance of type ostype (not function type)
    1740           _Bool
    1741         ... returning
    1742           _Bool
    1743 
    1744         ... with resolved type:
    1745           pointer to function
    1746           ... with parameters
    1747             reference to instance of type ostype (not function type)
    1748             _Bool
    1749           ... returning
    1750             _Bool
    1751 
    1752         Variable Expression: nlOn: pointer to function
    1753         ... with parameters
    1754           reference to instance of type ostype (not function type)
    1755         ... returning nothing
    1756 
    1757         ... with resolved type:
    1758           pointer to function
    1759           ... with parameters
    1760             reference to instance of type ostype (not function type)
    1761           ... returning nothing
    1762 
    1763         Variable Expression: nlOff: pointer to function
    1764         ... with parameters
    1765           reference to instance of type ostype (not function type)
    1766         ... returning nothing
    1767 
    1768         ... with resolved type:
    1769           pointer to function
    1770           ... with parameters
    1771             reference to instance of type ostype (not function type)
    1772           ... returning nothing
    1773 
    1774         Variable Expression: sep: pointer to function
    1775         ... with parameters
    1776           reference to instance of type ostype (not function type)
    1777         ... returning nothing
    1778 
    1779         ... with resolved type:
    1780           pointer to function
    1781           ... with parameters
    1782             reference to instance of type ostype (not function type)
    1783           ... returning nothing
    1784 
    1785         Variable Expression: nosep: pointer to function
    1786         ... with parameters
    1787           reference to instance of type ostype (not function type)
    1788         ... returning nothing
    1789 
    1790         ... with resolved type:
    1791           pointer to function
    1792           ... with parameters
    1793             reference to instance of type ostype (not function type)
    1794           ... returning nothing
    1795 
    1796         Variable Expression: sepOn: pointer to function
    1797         ... with parameters
    1798           reference to instance of type ostype (not function type)
    1799         ... returning
    1800           _Bool
    1801 
    1802         ... with resolved type:
    1803           pointer to function
    1804           ... with parameters
    1805             reference to instance of type ostype (not function type)
    1806           ... returning
    1807             _Bool
    1808 
    1809         Variable Expression: sepOff: pointer to function
    1810         ... with parameters
    1811           reference to instance of type ostype (not function type)
    1812         ... returning
    1813           _Bool
    1814 
    1815         ... with resolved type:
    1816           pointer to function
    1817           ... with parameters
    1818             reference to instance of type ostype (not function type)
    1819           ... returning
    1820             _Bool
    1821 
    1822         Variable Expression: sepGet: pointer to function
    1823         ... with parameters
    1824           reference to instance of type ostype (not function type)
    1825         ... returning
    1826           pointer to const char
    1827 
    1828         ... with resolved type:
    1829           pointer to function
    1830           ... with parameters
    1831             reference to instance of type ostype (not function type)
    1832           ... returning
    1833             pointer to const char
    1834 
    1835         Variable Expression: sepSet: pointer to function
    1836         ... with parameters
    1837           reference to instance of type ostype (not function type)
    1838           pointer to const char
    1839         ... returning nothing
    1840 
    1841         ... with resolved type:
    1842           pointer to function
    1843           ... with parameters
    1844             reference to instance of type ostype (not function type)
    1845             pointer to const char
    1846           ... returning nothing
    1847 
    1848         Variable Expression: sepGetTuple: pointer to function
    1849         ... with parameters
    1850           reference to instance of type ostype (not function type)
    1851         ... returning
    1852           pointer to const char
    1853 
    1854         ... with resolved type:
    1855           pointer to function
    1856           ... with parameters
    1857             reference to instance of type ostype (not function type)
    1858           ... returning
    1859             pointer to const char
    1860 
    1861         Variable Expression: sepSetTuple: pointer to function
    1862         ... with parameters
    1863           reference to instance of type ostype (not function type)
    1864           pointer to const char
    1865         ... returning nothing
    1866 
    1867         ... with resolved type:
    1868           pointer to function
    1869           ... with parameters
    1870             reference to instance of type ostype (not function type)
    1871             pointer to const char
    1872           ... returning nothing
    1873 
    1874         Variable Expression: ends: pointer to function
    1875         ... with parameters
    1876           reference to instance of type ostype (not function type)
    1877         ... returning nothing
    1878 
    1879         ... with resolved type:
    1880           pointer to function
    1881           ... with parameters
    1882             reference to instance of type ostype (not function type)
    1883           ... returning nothing
    1884 
    1885         Variable Expression: fmt: pointer to function
    1886         ... with parameters
    1887           reference to instance of type ostype (not function type)
    1888           pointer to const char
    1889           and a variable number of other arguments
    1890         ... returning
    1891           signed int
    1892 
    1893         ... with resolved type:
    1894           pointer to function
    1895           ... with parameters
    1896             reference to instance of type ostype (not function type)
    1897             pointer to const char
    1898             and a variable number of other arguments
    1899           ... returning
    1900             signed int
     187        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     188        ... with parameters
     189          instance of type ostype (not function type)
     190
     191        ... with resolved type:
     192          reference to const instance of struct basic_ostream_data with body
     193          ... with parameters
     194            instance of type ostype (not function type)
    1901195
    1902196        function
    … …  
    1911205          instance of type [unbound] (not function type)
    1912206          with assertions
    1913           Variable Expression: sepPrt$: pointer to function
    1914           ... with parameters
    1915             reference to instance of type ostype (not function type)
    1916           ... returning
    1917             _Bool
     207          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     208          ... with parameters
     209            instance of type ostype (not function type)
    1918210
    1919211          ... with resolved type:
    1920             pointer to function
     212            reference to const instance of struct basic_ostream_data with body
    1921213            ... with parameters
    1922               reference to instance of type [unbound] (not function type)
    1923             ... returning
    1924               _Bool
    1925 
    1926           Variable Expression: sepReset$: pointer to function
    1927           ... with parameters
    1928             reference to instance of type ostype (not function type)
    1929           ... returning nothing
    1930 
    1931           ... with resolved type:
    1932             pointer to function
    1933             ... with parameters
    1934               reference to instance of type [unbound] (not function type)
    1935             ... returning nothing
    1936 
    1937           Variable Expression: sepReset$: pointer to function
    1938           ... with parameters
    1939             reference to instance of type ostype (not function type)
    1940             _Bool
    1941           ... returning nothing
    1942 
    1943           ... with resolved type:
    1944             pointer to function
    1945             ... with parameters
    1946               reference to instance of type [unbound] (not function type)
    1947               _Bool
    1948             ... returning nothing
    1949 
    1950           Variable Expression: sepGetCur$: pointer to function
    1951           ... with parameters
    1952             reference to instance of type ostype (not function type)
    1953           ... returning
    1954             pointer to const char
    1955 
    1956           ... with resolved type:
    1957             pointer to function
    1958             ... with parameters
    1959               reference to instance of type [unbound] (not function type)
    1960             ... returning
    1961               pointer to const char
    1962 
    1963           Variable Expression: sepSetCur$: pointer to function
    1964           ... with parameters
    1965             reference to instance of type ostype (not function type)
    1966             pointer to const char
    1967           ... returning nothing
    1968 
    1969           ... with resolved type:
    1970             pointer to function
    1971             ... with parameters
    1972               reference to instance of type [unbound] (not function type)
    1973               pointer to const char
    1974             ... returning nothing
    1975 
    1976           Variable Expression: getNL$: pointer to function
    1977           ... with parameters
    1978             reference to instance of type ostype (not function type)
    1979           ... returning
    1980             _Bool
    1981 
    1982           ... with resolved type:
    1983             pointer to function
    1984             ... with parameters
    1985               reference to instance of type [unbound] (not function type)
    1986             ... returning
    1987               _Bool
    1988 
    1989           Variable Expression: setNL$: pointer to function
    1990           ... with parameters
    1991             reference to instance of type ostype (not function type)
    1992             _Bool
    1993           ... returning
    1994             _Bool
    1995 
    1996           ... with resolved type:
    1997             pointer to function
    1998             ... with parameters
    1999               reference to instance of type [unbound] (not function type)
    2000               _Bool
    2001             ... returning
    2002               _Bool
    2003 
    2004           Variable Expression: getANL$: pointer to function
    2005           ... with parameters
    2006             reference to instance of type ostype (not function type)
    2007           ... returning
    2008             _Bool
    2009 
    2010           ... with resolved type:
    2011             pointer to function
    2012             ... with parameters
    2013               reference to instance of type [unbound] (not function type)
    2014             ... returning
    2015               _Bool
    2016 
    2017           Variable Expression: setANL$: pointer to function
    2018           ... with parameters
    2019             reference to instance of type ostype (not function type)
    2020             _Bool
    2021           ... returning
    2022             _Bool
    2023 
    2024           ... with resolved type:
    2025             pointer to function
    2026             ... with parameters
    2027               reference to instance of type [unbound] (not function type)
    2028               _Bool
    2029             ... returning
    2030               _Bool
    2031 
    2032           Variable Expression: getPrt$: pointer to function
    2033           ... with parameters
    2034             reference to instance of type ostype (not function type)
    2035           ... returning
    2036             _Bool
    2037 
    2038           ... with resolved type:
    2039             pointer to function
    2040             ... with parameters
    2041               reference to instance of type [unbound] (not function type)
    2042             ... returning
    2043               _Bool
    2044 
    2045           Variable Expression: setPrt$: pointer to function
    2046           ... with parameters
    2047             reference to instance of type ostype (not function type)
    2048             _Bool
    2049           ... returning
    2050             _Bool
    2051 
    2052           ... with resolved type:
    2053             pointer to function
    2054             ... with parameters
    2055               reference to instance of type [unbound] (not function type)
    2056               _Bool
    2057             ... returning
    2058               _Bool
    2059 
    2060           Variable Expression: nlOn: pointer to function
    2061           ... with parameters
    2062             reference to instance of type ostype (not function type)
    2063           ... returning nothing
    2064 
    2065           ... with resolved type:
    2066             pointer to function
    2067             ... with parameters
    2068               reference to instance of type [unbound] (not function type)
    2069             ... returning nothing
    2070 
    2071           Variable Expression: nlOff: pointer to function
    2072           ... with parameters
    2073             reference to instance of type ostype (not function type)
    2074           ... returning nothing
    2075 
    2076           ... with resolved type:
    2077             pointer to function
    2078             ... with parameters
    2079               reference to instance of type [unbound] (not function type)
    2080             ... returning nothing
    2081 
    2082           Variable Expression: sep: pointer to function
    2083           ... with parameters
    2084             reference to instance of type ostype (not function type)
    2085           ... returning nothing
    2086 
    2087           ... with resolved type:
    2088             pointer to function
    2089             ... with parameters
    2090               reference to instance of type [unbound] (not function type)
    2091             ... returning nothing
    2092 
    2093           Variable Expression: nosep: pointer to function
    2094           ... with parameters
    2095             reference to instance of type ostype (not function type)
    2096           ... returning nothing
    2097 
    2098           ... with resolved type:
    2099             pointer to function
    2100             ... with parameters
    2101               reference to instance of type [unbound] (not function type)
    2102             ... returning nothing
    2103 
    2104           Variable Expression: sepOn: pointer to function
    2105           ... with parameters
    2106             reference to instance of type ostype (not function type)
    2107           ... returning
    2108             _Bool
    2109 
    2110           ... with resolved type:
    2111             pointer to function
    2112             ... with parameters
    2113               reference to instance of type [unbound] (not function type)
    2114             ... returning
    2115               _Bool
    2116 
    2117           Variable Expression: sepOff: pointer to function
    2118           ... with parameters
    2119             reference to instance of type ostype (not function type)
    2120           ... returning
    2121             _Bool
    2122 
    2123           ... with resolved type:
    2124             pointer to function
    2125             ... with parameters
    2126               reference to instance of type [unbound] (not function type)
    2127             ... returning
    2128               _Bool
    2129 
    2130           Variable Expression: sepGet: pointer to function
    2131           ... with parameters
    2132             reference to instance of type ostype (not function type)
    2133           ... returning
    2134             pointer to const char
    2135 
    2136           ... with resolved type:
    2137             pointer to function
    2138             ... with parameters
    2139               reference to instance of type [unbound] (not function type)
    2140             ... returning
    2141               pointer to const char
    2142 
    2143           Variable Expression: sepSet: pointer to function
    2144           ... with parameters
    2145             reference to instance of type ostype (not function type)
    2146             pointer to const char
    2147           ... returning nothing
    2148 
    2149           ... with resolved type:
    2150             pointer to function
    2151             ... with parameters
    2152               reference to instance of type [unbound] (not function type)
    2153               pointer to const char
    2154             ... returning nothing
    2155 
    2156           Variable Expression: sepGetTuple: pointer to function
    2157           ... with parameters
    2158             reference to instance of type ostype (not function type)
    2159           ... returning
    2160             pointer to const char
    2161 
    2162           ... with resolved type:
    2163             pointer to function
    2164             ... with parameters
    2165               reference to instance of type [unbound] (not function type)
    2166             ... returning
    2167               pointer to const char
    2168 
    2169           Variable Expression: sepSetTuple: pointer to function
    2170           ... with parameters
    2171             reference to instance of type ostype (not function type)
    2172             pointer to const char
    2173           ... returning nothing
    2174 
    2175           ... with resolved type:
    2176             pointer to function
    2177             ... with parameters
    2178               reference to instance of type [unbound] (not function type)
    2179               pointer to const char
    2180             ... returning nothing
    2181 
    2182           Variable Expression: ends: pointer to function
    2183           ... with parameters
    2184             reference to instance of type ostype (not function type)
    2185           ... returning nothing
    2186 
    2187           ... with resolved type:
    2188             pointer to function
    2189             ... with parameters
    2190               reference to instance of type [unbound] (not function type)
    2191             ... returning nothing
    2192 
    2193           Variable Expression: fmt: pointer to function
    2194           ... with parameters
    2195             reference to instance of type ostype (not function type)
    2196             pointer to const char
    2197             and a variable number of other arguments
    2198           ... returning
    2199             signed int
    2200 
    2201           ... with resolved type:
    2202             pointer to function
    2203             ... with parameters
    2204               reference to instance of type [unbound] (not function type)
    2205               pointer to const char
    2206               and a variable number of other arguments
    2207             ... returning
    2208               signed int
     214              instance of type [unbound] (not function type)
    2209215
    2210216          function
    … …  
    2246252        instance of struct string with body
    2247253    with inferred parameters 0:
    2248       sepPrt$: function
    2249       ... with parameters
    2250         reference to instance of struct ofstream with body
    2251       ... returning
    2252         _Bool
    2253 
    2254       sepReset$: function
    2255       ... with parameters
    2256         reference to instance of struct ofstream with body
    2257       ... returning nothing
    2258 
    2259       sepReset$: function
    2260       ... with parameters
    2261         reference to instance of struct ofstream with body
    2262         _Bool
    2263       ... returning nothing
    2264 
    2265       sepGetCur$: function
    2266       ... with parameters
    2267         reference to instance of struct ofstream with body
    2268       ... returning
    2269         pointer to const char
    2270 
    2271       sepSetCur$: function
    2272       ... with parameters
    2273         reference to instance of struct ofstream with body
    2274         pointer to const char
    2275       ... returning nothing
    2276 
    2277       getNL$: function
    2278       ... with parameters
    2279         reference to instance of struct ofstream with body
    2280       ... returning
    2281         _Bool
    2282 
    2283       setNL$: function
    2284       ... with parameters
    2285         reference to instance of struct ofstream with body
    2286         _Bool
    2287       ... returning
    2288         _Bool
    2289 
    2290       getANL$: function
    2291       ... with parameters
    2292         reference to instance of struct ofstream with body
    2293       ... returning
    2294         _Bool
    2295 
    2296       setANL$: function
    2297       ... with parameters
    2298         reference to instance of struct ofstream with body
    2299         _Bool
    2300       ... returning
    2301         _Bool
    2302 
    2303       getPrt$: function
    2304       ... with parameters
    2305         reference to instance of struct ofstream with body
    2306       ... returning
    2307         _Bool
    2308 
    2309       setPrt$: function
    2310       ... with parameters
    2311         reference to instance of struct ofstream with body
    2312         _Bool
    2313       ... returning
    2314         _Bool
    2315 
    2316       nlOn: function
    2317       ... with parameters
    2318         reference to instance of struct ofstream with body
    2319       ... returning nothing
    2320 
    2321       nlOff: function
    2322       ... with parameters
    2323         reference to instance of struct ofstream with body
    2324       ... returning nothing
    2325 
    2326       sep: function
    2327       ... with parameters
    2328         reference to instance of struct ofstream with body
    2329       ... returning nothing
    2330 
    2331       nosep: function
    2332       ... with parameters
    2333         reference to instance of struct ofstream with body
    2334       ... returning nothing
    2335 
    2336       sepOn: function
    2337       ... with parameters
    2338         reference to instance of struct ofstream with body
    2339       ... returning
    2340         _Bool
    2341 
    2342       sepOff: function
    2343       ... with parameters
    2344         reference to instance of struct ofstream with body
    2345       ... returning
    2346         _Bool
    2347 
    2348       sepGet: function
    2349       ... with parameters
    2350         reference to instance of struct ofstream with body
    2351       ... returning
    2352         pointer to const char
    2353 
    2354       sepSet: function
    2355       ... with parameters
    2356         reference to instance of struct ofstream with body
    2357         pointer to const char
    2358       ... returning nothing
    2359 
    2360       sepGetTuple: function
    2361       ... with parameters
    2362         reference to instance of struct ofstream with body
    2363       ... returning
    2364         pointer to const char
    2365 
    2366       sepSetTuple: function
    2367       ... with parameters
    2368         reference to instance of struct ofstream with body
    2369         pointer to const char
    2370       ... returning nothing
    2371 
    2372       ends: function
    2373       ... with parameters
    2374         reference to instance of struct ofstream with body
    2375       ... returning nothing
    2376 
    2377       fmt: function
    2378       ... with parameters
    2379         reference to instance of struct ofstream with body
    2380         pointer to const char
    2381         and a variable number of other arguments
    2382       ... returning
    2383         signed int
     254      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     255      ... with parameters
     256        instance of struct ofstream with body
    2384257
    2385258
    … …  
    2392265
    2393266
    2394 Cost ( 0, 0, 1, 0, 0, 1, -24, 0 ): Application of
     267Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
    2395268      Variable Expression: ?|?: forall
    2396269        instance of type ostype (not function type)
    2397270        with assertions
    2398         Variable Expression: sepPrt$: pointer to function
    2399         ... with parameters
    2400           reference to instance of type ostype (not function type)
    2401         ... returning
    2402           _Bool
    2403 
    2404         ... with resolved type:
    2405           pointer to function
    2406           ... with parameters
    2407             reference to instance of type ostype (not function type)
    2408           ... returning
    2409             _Bool
    2410 
    2411         Variable Expression: sepReset$: pointer to function
    2412         ... with parameters
    2413           reference to instance of type ostype (not function type)
    2414         ... returning nothing
    2415 
    2416         ... with resolved type:
    2417           pointer to function
    2418           ... with parameters
    2419             reference to instance of type ostype (not function type)
    2420           ... returning nothing
    2421 
    2422         Variable Expression: sepReset$: pointer to function
    2423         ... with parameters
    2424           reference to instance of type ostype (not function type)
    2425           _Bool
    2426         ... returning nothing
    2427 
    2428         ... with resolved type:
    2429           pointer to function
    2430           ... with parameters
    2431             reference to instance of type ostype (not function type)
    2432             _Bool
    2433           ... returning nothing
    2434 
    2435         Variable Expression: sepGetCur$: pointer to function
    2436         ... with parameters
    2437           reference to instance of type ostype (not function type)
    2438         ... returning
    2439           pointer to const char
    2440 
    2441         ... with resolved type:
    2442           pointer to function
    2443           ... with parameters
    2444             reference to instance of type ostype (not function type)
    2445           ... returning
    2446             pointer to const char
    2447 
    2448         Variable Expression: sepSetCur$: pointer to function
    2449         ... with parameters
    2450           reference to instance of type ostype (not function type)
    2451           pointer to const char
    2452         ... returning nothing
    2453 
    2454         ... with resolved type:
    2455           pointer to function
    2456           ... with parameters
    2457             reference to instance of type ostype (not function type)
    2458             pointer to const char
    2459           ... returning nothing
    2460 
    2461         Variable Expression: getNL$: pointer to function
    2462         ... with parameters
    2463           reference to instance of type ostype (not function type)
    2464         ... returning
    2465           _Bool
    2466 
    2467         ... with resolved type:
    2468           pointer to function
    2469           ... with parameters
    2470             reference to instance of type ostype (not function type)
    2471           ... returning
    2472             _Bool
    2473 
    2474         Variable Expression: setNL$: pointer to function
    2475         ... with parameters
    2476           reference to instance of type ostype (not function type)
    2477           _Bool
    2478         ... returning
    2479           _Bool
    2480 
    2481         ... with resolved type:
    2482           pointer to function
    2483           ... with parameters
    2484             reference to instance of type ostype (not function type)
    2485             _Bool
    2486           ... returning
    2487             _Bool
    2488 
    2489         Variable Expression: getANL$: pointer to function
    2490         ... with parameters
    2491           reference to instance of type ostype (not function type)
    2492         ... returning
    2493           _Bool
    2494 
    2495         ... with resolved type:
    2496           pointer to function
    2497           ... with parameters
    2498             reference to instance of type ostype (not function type)
    2499           ... returning
    2500             _Bool
    2501 
    2502         Variable Expression: setANL$: pointer to function
    2503         ... with parameters
    2504           reference to instance of type ostype (not function type)
    2505           _Bool
    2506         ... returning
    2507           _Bool
    2508 
    2509         ... with resolved type:
    2510           pointer to function
    2511           ... with parameters
    2512             reference to instance of type ostype (not function type)
    2513             _Bool
    2514           ... returning
    2515             _Bool
    2516 
    2517         Variable Expression: getPrt$: pointer to function
    2518         ... with parameters
    2519           reference to instance of type ostype (not function type)
    2520         ... returning
    2521           _Bool
    2522 
    2523         ... with resolved type:
    2524           pointer to function
    2525           ... with parameters
    2526             reference to instance of type ostype (not function type)
    2527           ... returning
    2528             _Bool
    2529 
    2530         Variable Expression: setPrt$: pointer to function
    2531         ... with parameters
    2532           reference to instance of type ostype (not function type)
    2533           _Bool
    2534         ... returning
    2535           _Bool
    2536 
    2537         ... with resolved type:
    2538           pointer to function
    2539           ... with parameters
    2540             reference to instance of type ostype (not function type)
    2541             _Bool
    2542           ... returning
    2543             _Bool
    2544 
    2545         Variable Expression: nlOn: pointer to function
    2546         ... with parameters
    2547           reference to instance of type ostype (not function type)
    2548         ... returning nothing
    2549 
    2550         ... with resolved type:
    2551           pointer to function
    2552           ... with parameters
    2553             reference to instance of type ostype (not function type)
    2554           ... returning nothing
    2555 
    2556         Variable Expression: nlOff: pointer to function
    2557         ... with parameters
    2558           reference to instance of type ostype (not function type)
    2559         ... returning nothing
    2560 
    2561         ... with resolved type:
    2562           pointer to function
    2563           ... with parameters
    2564             reference to instance of type ostype (not function type)
    2565           ... returning nothing
    2566 
    2567         Variable Expression: sep: pointer to function
    2568         ... with parameters
    2569           reference to instance of type ostype (not function type)
    2570         ... returning nothing
    2571 
    2572         ... with resolved type:
    2573           pointer to function
    2574           ... with parameters
    2575             reference to instance of type ostype (not function type)
    2576           ... returning nothing
    2577 
    2578         Variable Expression: nosep: pointer to function
    2579         ... with parameters
    2580           reference to instance of type ostype (not function type)
    2581         ... returning nothing
    2582 
    2583         ... with resolved type:
    2584           pointer to function
    2585           ... with parameters
    2586             reference to instance of type ostype (not function type)
    2587           ... returning nothing
    2588 
    2589         Variable Expression: sepOn: pointer to function
    2590         ... with parameters
    2591           reference to instance of type ostype (not function type)
    2592         ... returning
    2593           _Bool
    2594 
    2595         ... with resolved type:
    2596           pointer to function
    2597           ... with parameters
    2598             reference to instance of type ostype (not function type)
    2599           ... returning
    2600             _Bool
    2601 
    2602         Variable Expression: sepOff: pointer to function
    2603         ... with parameters
    2604           reference to instance of type ostype (not function type)
    2605         ... returning
    2606           _Bool
    2607 
    2608         ... with resolved type:
    2609           pointer to function
    2610           ... with parameters
    2611             reference to instance of type ostype (not function type)
    2612           ... returning
    2613             _Bool
    2614 
    2615         Variable Expression: sepGet: pointer to function
    2616         ... with parameters
    2617           reference to instance of type ostype (not function type)
    2618         ... returning
    2619           pointer to const char
    2620 
    2621         ... with resolved type:
    2622           pointer to function
    2623           ... with parameters
    2624             reference to instance of type ostype (not function type)
    2625           ... returning
    2626             pointer to const char
    2627 
    2628         Variable Expression: sepSet: pointer to function
    2629         ... with parameters
    2630           reference to instance of type ostype (not function type)
    2631           pointer to const char
    2632         ... returning nothing
    2633 
    2634         ... with resolved type:
    2635           pointer to function
    2636           ... with parameters
    2637             reference to instance of type ostype (not function type)
    2638             pointer to const char
    2639           ... returning nothing
    2640 
    2641         Variable Expression: sepGetTuple: pointer to function
    2642         ... with parameters
    2643           reference to instance of type ostype (not function type)
    2644         ... returning
    2645           pointer to const char
    2646 
    2647         ... with resolved type:
    2648           pointer to function
    2649           ... with parameters
    2650             reference to instance of type ostype (not function type)
    2651           ... returning
    2652             pointer to const char
    2653 
    2654         Variable Expression: sepSetTuple: pointer to function
    2655         ... with parameters
    2656           reference to instance of type ostype (not function type)
    2657           pointer to const char
    2658         ... returning nothing
    2659 
    2660         ... with resolved type:
    2661           pointer to function
    2662           ... with parameters
    2663             reference to instance of type ostype (not function type)
    2664             pointer to const char
    2665           ... returning nothing
    2666 
    2667         Variable Expression: ends: pointer to function
    2668         ... with parameters
    2669           reference to instance of type ostype (not function type)
    2670         ... returning nothing
    2671 
    2672         ... with resolved type:
    2673           pointer to function
    2674           ... with parameters
    2675             reference to instance of type ostype (not function type)
    2676           ... returning nothing
    2677 
    2678         Variable Expression: fmt: pointer to function
    2679         ... with parameters
    2680           reference to instance of type ostype (not function type)
    2681           pointer to const char
    2682           and a variable number of other arguments
    2683         ... returning
    2684           signed int
    2685 
    2686         ... with resolved type:
    2687           pointer to function
    2688           ... with parameters
    2689             reference to instance of type ostype (not function type)
    2690             pointer to const char
    2691             and a variable number of other arguments
    2692           ... returning
    2693             signed int
     271        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     272        ... with parameters
     273          instance of type ostype (not function type)
     274
     275        ... with resolved type:
     276          reference to const instance of struct basic_ostream_data with body
     277          ... with parameters
     278            instance of type ostype (not function type)
    2694279
    2695280        function
    … …  
    2703288          instance of type [unbound] (not function type)
    2704289          with assertions
    2705           Variable Expression: sepPrt$: pointer to function
    2706           ... with parameters
    2707             reference to instance of type ostype (not function type)
    2708           ... returning
    2709             _Bool
     290          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     291          ... with parameters
     292            instance of type ostype (not function type)
    2710293
    2711294          ... with resolved type:
    2712             pointer to function
     295            reference to const instance of struct basic_ostream_data with body
    2713296            ... with parameters
    2714               reference to instance of type [unbound] (not function type)
    2715             ... returning
    2716               _Bool
    2717 
    2718           Variable Expression: sepReset$: pointer to function
    2719           ... with parameters
    2720             reference to instance of type ostype (not function type)
    2721           ... returning nothing
    2722 
    2723           ... with resolved type:
    2724             pointer to function
    2725             ... with parameters
    2726               reference to instance of type [unbound] (not function type)
    2727             ... returning nothing
    2728 
    2729           Variable Expression: sepReset$: pointer to function
    2730           ... with parameters
    2731             reference to instance of type ostype (not function type)
    2732             _Bool
    2733           ... returning nothing
    2734 
    2735           ... with resolved type:
    2736             pointer to function
    2737             ... with parameters
    2738               reference to instance of type [unbound] (not function type)
    2739               _Bool
    2740             ... returning nothing
    2741 
    2742           Variable Expression: sepGetCur$: pointer to function
    2743           ... with parameters
    2744             reference to instance of type ostype (not function type)
    2745           ... returning
    2746             pointer to const char
    2747 
    2748           ... with resolved type:
    2749             pointer to function
    2750             ... with parameters
    2751               reference to instance of type [unbound] (not function type)
    2752             ... returning
    2753               pointer to const char
    2754 
    2755           Variable Expression: sepSetCur$: pointer to function
    2756           ... with parameters
    2757             reference to instance of type ostype (not function type)
    2758             pointer to const char
    2759           ... returning nothing
    2760 
    2761           ... with resolved type:
    2762             pointer to function
    2763             ... with parameters
    2764               reference to instance of type [unbound] (not function type)
    2765               pointer to const char
    2766             ... returning nothing
    2767 
    2768           Variable Expression: getNL$: pointer to function
    2769           ... with parameters
    2770             reference to instance of type ostype (not function type)
    2771           ... returning
    2772             _Bool
    2773 
    2774           ... with resolved type:
    2775             pointer to function
    2776             ... with parameters
    2777               reference to instance of type [unbound] (not function type)
    2778             ... returning
    2779               _Bool
    2780 
    2781           Variable Expression: setNL$: pointer to function
    2782           ... with parameters
    2783             reference to instance of type ostype (not function type)
    2784             _Bool
    2785           ... returning
    2786             _Bool
    2787 
    2788           ... with resolved type:
    2789             pointer to function
    2790             ... with parameters
    2791               reference to instance of type [unbound] (not function type)
    2792               _Bool
    2793             ... returning
    2794               _Bool
    2795 
    2796           Variable Expression: getANL$: pointer to function
    2797           ... with parameters
    2798             reference to instance of type ostype (not function type)
    2799           ... returning
    2800             _Bool
    2801 
    2802           ... with resolved type:
    2803             pointer to function
    2804             ... with parameters
    2805               reference to instance of type [unbound] (not function type)
    2806             ... returning
    2807               _Bool
    2808 
    2809           Variable Expression: setANL$: pointer to function
    2810           ... with parameters
    2811             reference to instance of type ostype (not function type)
    2812             _Bool
    2813           ... returning
    2814             _Bool
    2815 
    2816           ... with resolved type:
    2817             pointer to function
    2818             ... with parameters
    2819               reference to instance of type [unbound] (not function type)
    2820               _Bool
    2821             ... returning
    2822               _Bool
    2823 
    2824           Variable Expression: getPrt$: pointer to function
    2825           ... with parameters
    2826             reference to instance of type ostype (not function type)
    2827           ... returning
    2828             _Bool
    2829 
    2830           ... with resolved type:
    2831             pointer to function
    2832             ... with parameters
    2833               reference to instance of type [unbound] (not function type)
    2834             ... returning
    2835               _Bool
    2836 
    2837           Variable Expression: setPrt$: pointer to function
    2838           ... with parameters
    2839             reference to instance of type ostype (not function type)
    2840             _Bool
    2841           ... returning
    2842             _Bool
    2843 
    2844           ... with resolved type:
    2845             pointer to function
    2846             ... with parameters
    2847               reference to instance of type [unbound] (not function type)
    2848               _Bool
    2849             ... returning
    2850               _Bool
    2851 
    2852           Variable Expression: nlOn: pointer to function
    2853           ... with parameters
    2854             reference to instance of type ostype (not function type)
    2855           ... returning nothing
    2856 
    2857           ... with resolved type:
    2858             pointer to function
    2859             ... with parameters
    2860               reference to instance of type [unbound] (not function type)
    2861             ... returning nothing
    2862 
    2863           Variable Expression: nlOff: pointer to function
    2864           ... with parameters
    2865             reference to instance of type ostype (not function type)
    2866           ... returning nothing
    2867 
    2868           ... with resolved type:
    2869             pointer to function
    2870             ... with parameters
    2871               reference to instance of type [unbound] (not function type)
    2872             ... returning nothing
    2873 
    2874           Variable Expression: sep: pointer to function
    2875           ... with parameters
    2876             reference to instance of type ostype (not function type)
    2877           ... returning nothing
    2878 
    2879           ... with resolved type:
    2880             pointer to function
    2881             ... with parameters
    2882               reference to instance of type [unbound] (not function type)
    2883             ... returning nothing
    2884 
    2885           Variable Expression: nosep: pointer to function
    2886           ... with parameters
    2887             reference to instance of type ostype (not function type)
    2888           ... returning nothing
    2889 
    2890           ... with resolved type:
    2891             pointer to function
    2892             ... with parameters
    2893               reference to instance of type [unbound] (not function type)
    2894             ... returning nothing
    2895 
    2896           Variable Expression: sepOn: pointer to function
    2897           ... with parameters
    2898             reference to instance of type ostype (not function type)
    2899           ... returning
    2900             _Bool
    2901 
    2902           ... with resolved type:
    2903             pointer to function
    2904             ... with parameters
    2905               reference to instance of type [unbound] (not function type)
    2906             ... returning
    2907               _Bool
    2908 
    2909           Variable Expression: sepOff: pointer to function
    2910           ... with parameters
    2911             reference to instance of type ostype (not function type)
    2912           ... returning
    2913             _Bool
    2914 
    2915           ... with resolved type:
    2916             pointer to function
    2917             ... with parameters
    2918               reference to instance of type [unbound] (not function type)
    2919             ... returning
    2920               _Bool
    2921 
    2922           Variable Expression: sepGet: pointer to function
    2923           ... with parameters
    2924             reference to instance of type ostype (not function type)
    2925           ... returning
    2926             pointer to const char
    2927 
    2928           ... with resolved type:
    2929             pointer to function
    2930             ... with parameters
    2931               reference to instance of type [unbound] (not function type)
    2932             ... returning
    2933               pointer to const char
    2934 
    2935           Variable Expression: sepSet: pointer to function
    2936           ... with parameters
    2937             reference to instance of type ostype (not function type)
    2938             pointer to const char
    2939           ... returning nothing
    2940 
    2941           ... with resolved type:
    2942             pointer to function
    2943             ... with parameters
    2944               reference to instance of type [unbound] (not function type)
    2945               pointer to const char
    2946             ... returning nothing
    2947 
    2948           Variable Expression: sepGetTuple: pointer to function
    2949           ... with parameters
    2950             reference to instance of type ostype (not function type)
    2951           ... returning
    2952             pointer to const char
    2953 
    2954           ... with resolved type:
    2955             pointer to function
    2956             ... with parameters
    2957               reference to instance of type [unbound] (not function type)
    2958             ... returning
    2959               pointer to const char
    2960 
    2961           Variable Expression: sepSetTuple: pointer to function
    2962           ... with parameters
    2963             reference to instance of type ostype (not function type)
    2964             pointer to const char
    2965           ... returning nothing
    2966 
    2967           ... with resolved type:
    2968             pointer to function
    2969             ... with parameters
    2970               reference to instance of type [unbound] (not function type)
    2971               pointer to const char
    2972             ... returning nothing
    2973 
    2974           Variable Expression: ends: pointer to function
    2975           ... with parameters
    2976             reference to instance of type ostype (not function type)
    2977           ... returning nothing
    2978 
    2979           ... with resolved type:
    2980             pointer to function
    2981             ... with parameters
    2982               reference to instance of type [unbound] (not function type)
    2983             ... returning nothing
    2984 
    2985           Variable Expression: fmt: pointer to function
    2986           ... with parameters
    2987             reference to instance of type ostype (not function type)
    2988             pointer to const char
    2989             and a variable number of other arguments
    2990           ... returning
    2991             signed int
    2992 
    2993           ... with resolved type:
    2994             pointer to function
    2995             ... with parameters
    2996               reference to instance of type [unbound] (not function type)
    2997               pointer to const char
    2998               and a variable number of other arguments
    2999             ... returning
    3000               signed int
     297              instance of type [unbound] (not function type)
    3001298
    3002299          function
    … …  
    3037334        instance of struct string with body
    3038335    with inferred parameters 0:
    3039       sepPrt$: function
    3040       ... with parameters
    3041         reference to instance of struct ofstream with body
    3042       ... returning
    3043         _Bool
    3044 
    3045       sepReset$: function
    3046       ... with parameters
    3047         reference to instance of struct ofstream with body
    3048       ... returning nothing
    3049 
    3050       sepReset$: function
    3051       ... with parameters
    3052         reference to instance of struct ofstream with body
    3053         _Bool
    3054       ... returning nothing
    3055 
    3056       sepGetCur$: function
    3057       ... with parameters
    3058         reference to instance of struct ofstream with body
    3059       ... returning
    3060         pointer to const char
    3061 
    3062       sepSetCur$: function
    3063       ... with parameters
    3064         reference to instance of struct ofstream with body
    3065         pointer to const char
    3066       ... returning nothing
    3067 
    3068       getNL$: function
    3069       ... with parameters
    3070         reference to instance of struct ofstream with body
    3071       ... returning
    3072         _Bool
    3073 
    3074       setNL$: function
    3075       ... with parameters
    3076         reference to instance of struct ofstream with body
    3077         _Bool
    3078       ... returning
    3079         _Bool
    3080 
    3081       getANL$: function
    3082       ... with parameters
    3083         reference to instance of struct ofstream with body
    3084       ... returning
    3085         _Bool
    3086 
    3087       setANL$: function
    3088       ... with parameters
    3089         reference to instance of struct ofstream with body
    3090         _Bool
    3091       ... returning
    3092         _Bool
    3093 
    3094       getPrt$: function
    3095       ... with parameters
    3096         reference to instance of struct ofstream with body
    3097       ... returning
    3098         _Bool
    3099 
    3100       setPrt$: function
    3101       ... with parameters
    3102         reference to instance of struct ofstream with body
    3103         _Bool
    3104       ... returning
    3105         _Bool
    3106 
    3107       nlOn: function
    3108       ... with parameters
    3109         reference to instance of struct ofstream with body
    3110       ... returning nothing
    3111 
    3112       nlOff: function
    3113       ... with parameters
    3114         reference to instance of struct ofstream with body
    3115       ... returning nothing
    3116 
    3117       sep: function
    3118       ... with parameters
    3119         reference to instance of struct ofstream with body
    3120       ... returning nothing
    3121 
    3122       nosep: function
    3123       ... with parameters
    3124         reference to instance of struct ofstream with body
    3125       ... returning nothing
    3126 
    3127       sepOn: function
    3128       ... with parameters
    3129         reference to instance of struct ofstream with body
    3130       ... returning
    3131         _Bool
    3132 
    3133       sepOff: function
    3134       ... with parameters
    3135         reference to instance of struct ofstream with body
    3136       ... returning
    3137         _Bool
    3138 
    3139       sepGet: function
    3140       ... with parameters
    3141         reference to instance of struct ofstream with body
    3142       ... returning
    3143         pointer to const char
    3144 
    3145       sepSet: function
    3146       ... with parameters
    3147         reference to instance of struct ofstream with body
    3148         pointer to const char
    3149       ... returning nothing
    3150 
    3151       sepGetTuple: function
    3152       ... with parameters
    3153         reference to instance of struct ofstream with body
    3154       ... returning
    3155         pointer to const char
    3156 
    3157       sepSetTuple: function
    3158       ... with parameters
    3159         reference to instance of struct ofstream with body
    3160         pointer to const char
    3161       ... returning nothing
    3162 
    3163       ends: function
    3164       ... with parameters
    3165         reference to instance of struct ofstream with body
    3166       ... returning nothing
    3167 
    3168       fmt: function
    3169       ... with parameters
    3170         reference to instance of struct ofstream with body
    3171         pointer to const char
    3172         and a variable number of other arguments
    3173       ... returning
    3174         signed int
     336      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     337      ... with parameters
     338        instance of struct ofstream with body
    3175339
    3176340

  • tests/collections/.expect/string-operator-ERR11.txt

    r65bd3c2 rae0c1c3  
    1515
    1616 Alternatives are:
    17 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     17Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    1818      Variable Expression: ?|?: forall
    1919        instance of type ostype (not function type)
    2020        with assertions
    21         Variable Expression: sepPrt$: pointer to function
    22         ... with parameters
    23           reference to instance of type ostype (not function type)
    24         ... returning
    25           _Bool
    26 
    27         ... with resolved type:
    28           pointer to function
    29           ... with parameters
    30             reference to instance of type ostype (not function type)
    31           ... returning
    32             _Bool
    33 
    34         Variable Expression: sepReset$: pointer to function
    35         ... with parameters
    36           reference to instance of type ostype (not function type)
    37         ... returning nothing
    38 
    39         ... with resolved type:
    40           pointer to function
    41           ... with parameters
    42             reference to instance of type ostype (not function type)
    43           ... returning nothing
    44 
    45         Variable Expression: sepReset$: pointer to function
    46         ... with parameters
    47           reference to instance of type ostype (not function type)
    48           _Bool
    49         ... returning nothing
    50 
    51         ... with resolved type:
    52           pointer to function
    53           ... with parameters
    54             reference to instance of type ostype (not function type)
    55             _Bool
    56           ... returning nothing
    57 
    58         Variable Expression: sepGetCur$: pointer to function
    59         ... with parameters
    60           reference to instance of type ostype (not function type)
    61         ... returning
    62           pointer to const char
    63 
    64         ... with resolved type:
    65           pointer to function
    66           ... with parameters
    67             reference to instance of type ostype (not function type)
    68           ... returning
    69             pointer to const char
    70 
    71         Variable Expression: sepSetCur$: pointer to function
    72         ... with parameters
    73           reference to instance of type ostype (not function type)
    74           pointer to const char
    75         ... returning nothing
    76 
    77         ... with resolved type:
    78           pointer to function
    79           ... with parameters
    80             reference to instance of type ostype (not function type)
    81             pointer to const char
    82           ... returning nothing
    83 
    84         Variable Expression: getNL$: pointer to function
    85         ... with parameters
    86           reference to instance of type ostype (not function type)
    87         ... returning
    88           _Bool
    89 
    90         ... with resolved type:
    91           pointer to function
    92           ... with parameters
    93             reference to instance of type ostype (not function type)
    94           ... returning
    95             _Bool
    96 
    97         Variable Expression: setNL$: pointer to function
    98         ... with parameters
    99           reference to instance of type ostype (not function type)
    100           _Bool
    101         ... returning
    102           _Bool
    103 
    104         ... with resolved type:
    105           pointer to function
    106           ... with parameters
    107             reference to instance of type ostype (not function type)
    108             _Bool
    109           ... returning
    110             _Bool
    111 
    112         Variable Expression: getANL$: pointer to function
    113         ... with parameters
    114           reference to instance of type ostype (not function type)
    115         ... returning
    116           _Bool
    117 
    118         ... with resolved type:
    119           pointer to function
    120           ... with parameters
    121             reference to instance of type ostype (not function type)
    122           ... returning
    123             _Bool
    124 
    125         Variable Expression: setANL$: pointer to function
    126         ... with parameters
    127           reference to instance of type ostype (not function type)
    128           _Bool
    129         ... returning
    130           _Bool
    131 
    132         ... with resolved type:
    133           pointer to function
    134           ... with parameters
    135             reference to instance of type ostype (not function type)
    136             _Bool
    137           ... returning
    138             _Bool
    139 
    140         Variable Expression: getPrt$: pointer to function
    141         ... with parameters
    142           reference to instance of type ostype (not function type)
    143         ... returning
    144           _Bool
    145 
    146         ... with resolved type:
    147           pointer to function
    148           ... with parameters
    149             reference to instance of type ostype (not function type)
    150           ... returning
    151             _Bool
    152 
    153         Variable Expression: setPrt$: pointer to function
    154         ... with parameters
    155           reference to instance of type ostype (not function type)
    156           _Bool
    157         ... returning
    158           _Bool
    159 
    160         ... with resolved type:
    161           pointer to function
    162           ... with parameters
    163             reference to instance of type ostype (not function type)
    164             _Bool
    165           ... returning
    166             _Bool
    167 
    168         Variable Expression: nlOn: pointer to function
    169         ... with parameters
    170           reference to instance of type ostype (not function type)
    171         ... returning nothing
    172 
    173         ... with resolved type:
    174           pointer to function
    175           ... with parameters
    176             reference to instance of type ostype (not function type)
    177           ... returning nothing
    178 
    179         Variable Expression: nlOff: pointer to function
    180         ... with parameters
    181           reference to instance of type ostype (not function type)
    182         ... returning nothing
    183 
    184         ... with resolved type:
    185           pointer to function
    186           ... with parameters
    187             reference to instance of type ostype (not function type)
    188           ... returning nothing
    189 
    190         Variable Expression: sep: pointer to function
    191         ... with parameters
    192           reference to instance of type ostype (not function type)
    193         ... returning nothing
    194 
    195         ... with resolved type:
    196           pointer to function
    197           ... with parameters
    198             reference to instance of type ostype (not function type)
    199           ... returning nothing
    200 
    201         Variable Expression: nosep: pointer to function
    202         ... with parameters
    203           reference to instance of type ostype (not function type)
    204         ... returning nothing
    205 
    206         ... with resolved type:
    207           pointer to function
    208           ... with parameters
    209             reference to instance of type ostype (not function type)
    210           ... returning nothing
    211 
    212         Variable Expression: sepOn: pointer to function
    213         ... with parameters
    214           reference to instance of type ostype (not function type)
    215         ... returning
    216           _Bool
    217 
    218         ... with resolved type:
    219           pointer to function
    220           ... with parameters
    221             reference to instance of type ostype (not function type)
    222           ... returning
    223             _Bool
    224 
    225         Variable Expression: sepOff: pointer to function
    226         ... with parameters
    227           reference to instance of type ostype (not function type)
    228         ... returning
    229           _Bool
    230 
    231         ... with resolved type:
    232           pointer to function
    233           ... with parameters
    234             reference to instance of type ostype (not function type)
    235           ... returning
    236             _Bool
    237 
    238         Variable Expression: sepGet: pointer to function
    239         ... with parameters
    240           reference to instance of type ostype (not function type)
    241         ... returning
    242           pointer to const char
    243 
    244         ... with resolved type:
    245           pointer to function
    246           ... with parameters
    247             reference to instance of type ostype (not function type)
    248           ... returning
    249             pointer to const char
    250 
    251         Variable Expression: sepSet: pointer to function
    252         ... with parameters
    253           reference to instance of type ostype (not function type)
    254           pointer to const char
    255         ... returning nothing
    256 
    257         ... with resolved type:
    258           pointer to function
    259           ... with parameters
    260             reference to instance of type ostype (not function type)
    261             pointer to const char
    262           ... returning nothing
    263 
    264         Variable Expression: sepGetTuple: pointer to function
    265         ... with parameters
    266           reference to instance of type ostype (not function type)
    267         ... returning
    268           pointer to const char
    269 
    270         ... with resolved type:
    271           pointer to function
    272           ... with parameters
    273             reference to instance of type ostype (not function type)
    274           ... returning
    275             pointer to const char
    276 
    277         Variable Expression: sepSetTuple: pointer to function
    278         ... with parameters
    279           reference to instance of type ostype (not function type)
    280           pointer to const char
    281         ... returning nothing
    282 
    283         ... with resolved type:
    284           pointer to function
    285           ... with parameters
    286             reference to instance of type ostype (not function type)
    287             pointer to const char
    288           ... returning nothing
    289 
    290         Variable Expression: ends: pointer to function
    291         ... with parameters
    292           reference to instance of type ostype (not function type)
    293         ... returning nothing
    294 
    295         ... with resolved type:
    296           pointer to function
    297           ... with parameters
    298             reference to instance of type ostype (not function type)
    299           ... returning nothing
    300 
    301         Variable Expression: fmt: pointer to function
    302         ... with parameters
    303           reference to instance of type ostype (not function type)
    304           pointer to const char
    305           and a variable number of other arguments
    306         ... returning
    307           signed int
    308 
    309         ... with resolved type:
    310           pointer to function
    311           ... with parameters
    312             reference to instance of type ostype (not function type)
    313             pointer to const char
    314             and a variable number of other arguments
    315           ... returning
    316             signed int
     21        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     22        ... with parameters
     23          instance of type ostype (not function type)
     24
     25        ... with resolved type:
     26          reference to const instance of struct basic_ostream_data with body
     27          ... with parameters
     28            instance of type ostype (not function type)
    31729
    31830        function
    … …  
    32739          instance of type [unbound] (not function type)
    32840          with assertions
    329           Variable Expression: sepPrt$: pointer to function
    330           ... with parameters
    331             reference to instance of type ostype (not function type)
    332           ... returning
    333             _Bool
    334 
    335           ... with resolved type:
    336             pointer to function
     41          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     42          ... with parameters
     43            instance of type ostype (not function type)
     44
     45          ... with resolved type:
     46            reference to const instance of struct basic_ostream_data with body
    33747            ... with parameters
    338               reference to instance of type [unbound] (not function type)
    339             ... returning
    340               _Bool
    341 
    342           Variable Expression: sepReset$: pointer to function
    343           ... with parameters
    344             reference to instance of type ostype (not function type)
    345           ... returning nothing
    346 
    347           ... with resolved type:
    348             pointer to function
    349             ... with parameters
    350               reference to instance of type [unbound] (not function type)
    351             ... returning nothing
    352 
    353           Variable Expression: sepReset$: pointer to function
    354           ... with parameters
    355             reference to instance of type ostype (not function type)
    356             _Bool
    357           ... returning nothing
    358 
    359           ... with resolved type:
    360             pointer to function
    361             ... with parameters
    362               reference to instance of type [unbound] (not function type)
    363               _Bool
    364             ... returning nothing
    365 
    366           Variable Expression: sepGetCur$: pointer to function
    367           ... with parameters
    368             reference to instance of type ostype (not function type)
    369           ... returning
    370             pointer to const char
    371 
    372           ... with resolved type:
    373             pointer to function
    374             ... with parameters
    375               reference to instance of type [unbound] (not function type)
    376             ... returning
    377               pointer to const char
    378 
    379           Variable Expression: sepSetCur$: pointer to function
    380           ... with parameters
    381             reference to instance of type ostype (not function type)
    382             pointer to const char
    383           ... returning nothing
    384 
    385           ... with resolved type:
    386             pointer to function
    387             ... with parameters
    388               reference to instance of type [unbound] (not function type)
    389               pointer to const char
    390             ... returning nothing
    391 
    392           Variable Expression: getNL$: pointer to function
    393           ... with parameters
    394             reference to instance of type ostype (not function type)
    395           ... returning
    396             _Bool
    397 
    398           ... with resolved type:
    399             pointer to function
    400             ... with parameters
    401               reference to instance of type [unbound] (not function type)
    402             ... returning
    403               _Bool
    404 
    405           Variable Expression: setNL$: pointer to function
    406           ... with parameters
    407             reference to instance of type ostype (not function type)
    408             _Bool
    409           ... returning
    410             _Bool
    411 
    412           ... with resolved type:
    413             pointer to function
    414             ... with parameters
    415               reference to instance of type [unbound] (not function type)
    416               _Bool
    417             ... returning
    418               _Bool
    419 
    420           Variable Expression: getANL$: pointer to function
    421           ... with parameters
    422             reference to instance of type ostype (not function type)
    423           ... returning
    424             _Bool
    425 
    426           ... with resolved type:
    427             pointer to function
    428             ... with parameters
    429               reference to instance of type [unbound] (not function type)
    430             ... returning
    431               _Bool
    432 
    433           Variable Expression: setANL$: pointer to function
    434           ... with parameters
    435             reference to instance of type ostype (not function type)
    436             _Bool
    437           ... returning
    438             _Bool
    439 
    440           ... with resolved type:
    441             pointer to function
    442             ... with parameters
    443               reference to instance of type [unbound] (not function type)
    444               _Bool
    445             ... returning
    446               _Bool
    447 
    448           Variable Expression: getPrt$: pointer to function
    449           ... with parameters
    450             reference to instance of type ostype (not function type)
    451           ... returning
    452             _Bool
    453 
    454           ... with resolved type:
    455             pointer to function
    456             ... with parameters
    457               reference to instance of type [unbound] (not function type)
    458             ... returning
    459               _Bool
    460 
    461           Variable Expression: setPrt$: pointer to function
    462           ... with parameters
    463             reference to instance of type ostype (not function type)
    464             _Bool
    465           ... returning
    466             _Bool
    467 
    468           ... with resolved type:
    469             pointer to function
    470             ... with parameters
    471               reference to instance of type [unbound] (not function type)
    472               _Bool
    473             ... returning
    474               _Bool
    475 
    476           Variable Expression: nlOn: pointer to function
    477           ... with parameters
    478             reference to instance of type ostype (not function type)
    479           ... returning nothing
    480 
    481           ... with resolved type:
    482             pointer to function
    483             ... with parameters
    484               reference to instance of type [unbound] (not function type)
    485             ... returning nothing
    486 
    487           Variable Expression: nlOff: pointer to function
    488           ... with parameters
    489             reference to instance of type ostype (not function type)
    490           ... returning nothing
    491 
    492           ... with resolved type:
    493             pointer to function
    494             ... with parameters
    495               reference to instance of type [unbound] (not function type)
    496             ... returning nothing
    497 
    498           Variable Expression: sep: pointer to function
    499           ... with parameters
    500             reference to instance of type ostype (not function type)
    501           ... returning nothing
    502 
    503           ... with resolved type:
    504             pointer to function
    505             ... with parameters
    506               reference to instance of type [unbound] (not function type)
    507             ... returning nothing
    508 
    509           Variable Expression: nosep: pointer to function
    510           ... with parameters
    511             reference to instance of type ostype (not function type)
    512           ... returning nothing
    513 
    514           ... with resolved type:
    515             pointer to function
    516             ... with parameters
    517               reference to instance of type [unbound] (not function type)
    518             ... returning nothing
    519 
    520           Variable Expression: sepOn: pointer to function
    521           ... with parameters
    522             reference to instance of type ostype (not function type)
    523           ... returning
    524             _Bool
    525 
    526           ... with resolved type:
    527             pointer to function
    528             ... with parameters
    529               reference to instance of type [unbound] (not function type)
    530             ... returning
    531               _Bool
    532 
    533           Variable Expression: sepOff: pointer to function
    534           ... with parameters
    535             reference to instance of type ostype (not function type)
    536           ... returning
    537             _Bool
    538 
    539           ... with resolved type:
    540             pointer to function
    541             ... with parameters
    542               reference to instance of type [unbound] (not function type)
    543             ... returning
    544               _Bool
    545 
    546           Variable Expression: sepGet: pointer to function
    547           ... with parameters
    548             reference to instance of type ostype (not function type)
    549           ... returning
    550             pointer to const char
    551 
    552           ... with resolved type:
    553             pointer to function
    554             ... with parameters
    555               reference to instance of type [unbound] (not function type)
    556             ... returning
    557               pointer to const char
    558 
    559           Variable Expression: sepSet: pointer to function
    560           ... with parameters
    561             reference to instance of type ostype (not function type)
    562             pointer to const char
    563           ... returning nothing
    564 
    565           ... with resolved type:
    566             pointer to function
    567             ... with parameters
    568               reference to instance of type [unbound] (not function type)
    569               pointer to const char
    570             ... returning nothing
    571 
    572           Variable Expression: sepGetTuple: pointer to function
    573           ... with parameters
    574             reference to instance of type ostype (not function type)
    575           ... returning
    576             pointer to const char
    577 
    578           ... with resolved type:
    579             pointer to function
    580             ... with parameters
    581               reference to instance of type [unbound] (not function type)
    582             ... returning
    583               pointer to const char
    584 
    585           Variable Expression: sepSetTuple: pointer to function
    586           ... with parameters
    587             reference to instance of type ostype (not function type)
    588             pointer to const char
    589           ... returning nothing
    590 
    591           ... with resolved type:
    592             pointer to function
    593             ... with parameters
    594               reference to instance of type [unbound] (not function type)
    595               pointer to const char
    596             ... returning nothing
    597 
    598           Variable Expression: ends: pointer to function
    599           ... with parameters
    600             reference to instance of type ostype (not function type)
    601           ... returning nothing
    602 
    603           ... with resolved type:
    604             pointer to function
    605             ... with parameters
    606               reference to instance of type [unbound] (not function type)
    607             ... returning nothing
    608 
    609           Variable Expression: fmt: pointer to function
    610           ... with parameters
    611             reference to instance of type ostype (not function type)
    612             pointer to const char
    613             and a variable number of other arguments
    614           ... returning
    615             signed int
    616 
    617           ... with resolved type:
    618             pointer to function
    619             ... with parameters
    620               reference to instance of type [unbound] (not function type)
    621               pointer to const char
    622               and a variable number of other arguments
    623             ... returning
    624               signed int
     48              instance of type [unbound] (not function type)
    62549
    62650          function
    … …  
    66791        instance of struct string with body
    66892    with inferred parameters 0:
    669       sepPrt$: function
    670       ... with parameters
    671         reference to instance of struct ofstream with body
    672       ... returning
    673         _Bool
    674 
    675       sepReset$: function
    676       ... with parameters
    677         reference to instance of struct ofstream with body
    678       ... returning nothing
    679 
    680       sepReset$: function
    681       ... with parameters
    682         reference to instance of struct ofstream with body
    683         _Bool
    684       ... returning nothing
    685 
    686       sepGetCur$: function
    687       ... with parameters
    688         reference to instance of struct ofstream with body
    689       ... returning
    690         pointer to const char
    691 
    692       sepSetCur$: function
    693       ... with parameters
    694         reference to instance of struct ofstream with body
    695         pointer to const char
    696       ... returning nothing
    697 
    698       getNL$: function
    699       ... with parameters
    700         reference to instance of struct ofstream with body
    701       ... returning
    702         _Bool
    703 
    704       setNL$: function
    705       ... with parameters
    706         reference to instance of struct ofstream with body
    707         _Bool
    708       ... returning
    709         _Bool
    710 
    711       getANL$: function
    712       ... with parameters
    713         reference to instance of struct ofstream with body
    714       ... returning
    715         _Bool
    716 
    717       setANL$: function
    718       ... with parameters
    719         reference to instance of struct ofstream with body
    720         _Bool
    721       ... returning
    722         _Bool
    723 
    724       getPrt$: function
    725       ... with parameters
    726         reference to instance of struct ofstream with body
    727       ... returning
    728         _Bool
    729 
    730       setPrt$: function
    731       ... with parameters
    732         reference to instance of struct ofstream with body
    733         _Bool
    734       ... returning
    735         _Bool
    736 
    737       nlOn: function
    738       ... with parameters
    739         reference to instance of struct ofstream with body
    740       ... returning nothing
    741 
    742       nlOff: function
    743       ... with parameters
    744         reference to instance of struct ofstream with body
    745       ... returning nothing
    746 
    747       sep: function
    748       ... with parameters
    749         reference to instance of struct ofstream with body
    750       ... returning nothing
    751 
    752       nosep: function
    753       ... with parameters
    754         reference to instance of struct ofstream with body
    755       ... returning nothing
    756 
    757       sepOn: function
    758       ... with parameters
    759         reference to instance of struct ofstream with body
    760       ... returning
    761         _Bool
    762 
    763       sepOff: function
    764       ... with parameters
    765         reference to instance of struct ofstream with body
    766       ... returning
    767         _Bool
    768 
    769       sepGet: function
    770       ... with parameters
    771         reference to instance of struct ofstream with body
    772       ... returning
    773         pointer to const char
    774 
    775       sepSet: function
    776       ... with parameters
    777         reference to instance of struct ofstream with body
    778         pointer to const char
    779       ... returning nothing
    780 
    781       sepGetTuple: function
    782       ... with parameters
    783         reference to instance of struct ofstream with body
    784       ... returning
    785         pointer to const char
    786 
    787       sepSetTuple: function
    788       ... with parameters
    789         reference to instance of struct ofstream with body
    790         pointer to const char
    791       ... returning nothing
    792 
    793       ends: function
    794       ... with parameters
    795         reference to instance of struct ofstream with body
    796       ... returning nothing
    797 
    798       fmt: function
    799       ... with parameters
    800         reference to instance of struct ofstream with body
    801         pointer to const char
    802         and a variable number of other arguments
    803       ... returning
    804         signed int
     93      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     94      ... with parameters
     95        instance of struct ofstream with body
    80596
    80697
    … …  
    813104
    814105
    815 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     106Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    816107      Variable Expression: ?|?: forall
    817108        instance of type ostype (not function type)
    818109        with assertions
    819         Variable Expression: sepPrt$: pointer to function
    820         ... with parameters
    821           reference to instance of type ostype (not function type)
    822         ... returning
    823           _Bool
    824 
    825         ... with resolved type:
    826           pointer to function
    827           ... with parameters
    828             reference to instance of type ostype (not function type)
    829           ... returning
    830             _Bool
    831 
    832         Variable Expression: sepReset$: pointer to function
    833         ... with parameters
    834           reference to instance of type ostype (not function type)
    835         ... returning nothing
    836 
    837         ... with resolved type:
    838           pointer to function
    839           ... with parameters
    840             reference to instance of type ostype (not function type)
    841           ... returning nothing
    842 
    843         Variable Expression: sepReset$: pointer to function
    844         ... with parameters
    845           reference to instance of type ostype (not function type)
    846           _Bool
    847         ... returning nothing
    848 
    849         ... with resolved type:
    850           pointer to function
    851           ... with parameters
    852             reference to instance of type ostype (not function type)
    853             _Bool
    854           ... returning nothing
    855 
    856         Variable Expression: sepGetCur$: pointer to function
    857         ... with parameters
    858           reference to instance of type ostype (not function type)
    859         ... returning
    860           pointer to const char
    861 
    862         ... with resolved type:
    863           pointer to function
    864           ... with parameters
    865             reference to instance of type ostype (not function type)
    866           ... returning
    867             pointer to const char
    868 
    869         Variable Expression: sepSetCur$: pointer to function
    870         ... with parameters
    871           reference to instance of type ostype (not function type)
    872           pointer to const char
    873         ... returning nothing
    874 
    875         ... with resolved type:
    876           pointer to function
    877           ... with parameters
    878             reference to instance of type ostype (not function type)
    879             pointer to const char
    880           ... returning nothing
    881 
    882         Variable Expression: getNL$: pointer to function
    883         ... with parameters
    884           reference to instance of type ostype (not function type)
    885         ... returning
    886           _Bool
    887 
    888         ... with resolved type:
    889           pointer to function
    890           ... with parameters
    891             reference to instance of type ostype (not function type)
    892           ... returning
    893             _Bool
    894 
    895         Variable Expression: setNL$: pointer to function
    896         ... with parameters
    897           reference to instance of type ostype (not function type)
    898           _Bool
    899         ... returning
    900           _Bool
    901 
    902         ... with resolved type:
    903           pointer to function
    904           ... with parameters
    905             reference to instance of type ostype (not function type)
    906             _Bool
    907           ... returning
    908             _Bool
    909 
    910         Variable Expression: getANL$: pointer to function
    911         ... with parameters
    912           reference to instance of type ostype (not function type)
    913         ... returning
    914           _Bool
    915 
    916         ... with resolved type:
    917           pointer to function
    918           ... with parameters
    919             reference to instance of type ostype (not function type)
    920           ... returning
    921             _Bool
    922 
    923         Variable Expression: setANL$: pointer to function
    924         ... with parameters
    925           reference to instance of type ostype (not function type)
    926           _Bool
    927         ... returning
    928           _Bool
    929 
    930         ... with resolved type:
    931           pointer to function
    932           ... with parameters
    933             reference to instance of type ostype (not function type)
    934             _Bool
    935           ... returning
    936             _Bool
    937 
    938         Variable Expression: getPrt$: pointer to function
    939         ... with parameters
    940           reference to instance of type ostype (not function type)
    941         ... returning
    942           _Bool
    943 
    944         ... with resolved type:
    945           pointer to function
    946           ... with parameters
    947             reference to instance of type ostype (not function type)
    948           ... returning
    949             _Bool
    950 
    951         Variable Expression: setPrt$: pointer to function
    952         ... with parameters
    953           reference to instance of type ostype (not function type)
    954           _Bool
    955         ... returning
    956           _Bool
    957 
    958         ... with resolved type:
    959           pointer to function
    960           ... with parameters
    961             reference to instance of type ostype (not function type)
    962             _Bool
    963           ... returning
    964             _Bool
    965 
    966         Variable Expression: nlOn: pointer to function
    967         ... with parameters
    968           reference to instance of type ostype (not function type)
    969         ... returning nothing
    970 
    971         ... with resolved type:
    972           pointer to function
    973           ... with parameters
    974             reference to instance of type ostype (not function type)
    975           ... returning nothing
    976 
    977         Variable Expression: nlOff: pointer to function
    978         ... with parameters
    979           reference to instance of type ostype (not function type)
    980         ... returning nothing
    981 
    982         ... with resolved type:
    983           pointer to function
    984           ... with parameters
    985             reference to instance of type ostype (not function type)
    986           ... returning nothing
    987 
    988         Variable Expression: sep: pointer to function
    989         ... with parameters
    990           reference to instance of type ostype (not function type)
    991         ... returning nothing
    992 
    993         ... with resolved type:
    994           pointer to function
    995           ... with parameters
    996             reference to instance of type ostype (not function type)
    997           ... returning nothing
    998 
    999         Variable Expression: nosep: pointer to function
    1000         ... with parameters
    1001           reference to instance of type ostype (not function type)
    1002         ... returning nothing
    1003 
    1004         ... with resolved type:
    1005           pointer to function
    1006           ... with parameters
    1007             reference to instance of type ostype (not function type)
    1008           ... returning nothing
    1009 
    1010         Variable Expression: sepOn: pointer to function
    1011         ... with parameters
    1012           reference to instance of type ostype (not function type)
    1013         ... returning
    1014           _Bool
    1015 
    1016         ... with resolved type:
    1017           pointer to function
    1018           ... with parameters
    1019             reference to instance of type ostype (not function type)
    1020           ... returning
    1021             _Bool
    1022 
    1023         Variable Expression: sepOff: pointer to function
    1024         ... with parameters
    1025           reference to instance of type ostype (not function type)
    1026         ... returning
    1027           _Bool
    1028 
    1029         ... with resolved type:
    1030           pointer to function
    1031           ... with parameters
    1032             reference to instance of type ostype (not function type)
    1033           ... returning
    1034             _Bool
    1035 
    1036         Variable Expression: sepGet: pointer to function
    1037         ... with parameters
    1038           reference to instance of type ostype (not function type)
    1039         ... returning
    1040           pointer to const char
    1041 
    1042         ... with resolved type:
    1043           pointer to function
    1044           ... with parameters
    1045             reference to instance of type ostype (not function type)
    1046           ... returning
    1047             pointer to const char
    1048 
    1049         Variable Expression: sepSet: pointer to function
    1050         ... with parameters
    1051           reference to instance of type ostype (not function type)
    1052           pointer to const char
    1053         ... returning nothing
    1054 
    1055         ... with resolved type:
    1056           pointer to function
    1057           ... with parameters
    1058             reference to instance of type ostype (not function type)
    1059             pointer to const char
    1060           ... returning nothing
    1061 
    1062         Variable Expression: sepGetTuple: pointer to function
    1063         ... with parameters
    1064           reference to instance of type ostype (not function type)
    1065         ... returning
    1066           pointer to const char
    1067 
    1068         ... with resolved type:
    1069           pointer to function
    1070           ... with parameters
    1071             reference to instance of type ostype (not function type)
    1072           ... returning
    1073             pointer to const char
    1074 
    1075         Variable Expression: sepSetTuple: pointer to function
    1076         ... with parameters
    1077           reference to instance of type ostype (not function type)
    1078           pointer to const char
    1079         ... returning nothing
    1080 
    1081         ... with resolved type:
    1082           pointer to function
    1083           ... with parameters
    1084             reference to instance of type ostype (not function type)
    1085             pointer to const char
    1086           ... returning nothing
    1087 
    1088         Variable Expression: ends: pointer to function
    1089         ... with parameters
    1090           reference to instance of type ostype (not function type)
    1091         ... returning nothing
    1092 
    1093         ... with resolved type:
    1094           pointer to function
    1095           ... with parameters
    1096             reference to instance of type ostype (not function type)
    1097           ... returning nothing
    1098 
    1099         Variable Expression: fmt: pointer to function
    1100         ... with parameters
    1101           reference to instance of type ostype (not function type)
    1102           pointer to const char
    1103           and a variable number of other arguments
    1104         ... returning
    1105           signed int
    1106 
    1107         ... with resolved type:
    1108           pointer to function
    1109           ... with parameters
    1110             reference to instance of type ostype (not function type)
    1111             pointer to const char
    1112             and a variable number of other arguments
    1113           ... returning
    1114             signed int
     110        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     111        ... with parameters
     112          instance of type ostype (not function type)
     113
     114        ... with resolved type:
     115          reference to const instance of struct basic_ostream_data with body
     116          ... with parameters
     117            instance of type ostype (not function type)
    1115118
    1116119        function
    … …  
    1124127          instance of type [unbound] (not function type)
    1125128          with assertions
    1126           Variable Expression: sepPrt$: pointer to function
    1127           ... with parameters
    1128             reference to instance of type ostype (not function type)
    1129           ... returning
    1130             _Bool
    1131 
    1132           ... with resolved type:
    1133             pointer to function
     129          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     130          ... with parameters
     131            instance of type ostype (not function type)
     132
     133          ... with resolved type:
     134            reference to const instance of struct basic_ostream_data with body
    1134135            ... with parameters
    1135               reference to instance of type [unbound] (not function type)
    1136             ... returning
    1137               _Bool
    1138 
    1139           Variable Expression: sepReset$: pointer to function
    1140           ... with parameters
    1141             reference to instance of type ostype (not function type)
    1142           ... returning nothing
    1143 
    1144           ... with resolved type:
    1145             pointer to function
    1146             ... with parameters
    1147               reference to instance of type [unbound] (not function type)
    1148             ... returning nothing
    1149 
    1150           Variable Expression: sepReset$: pointer to function
    1151           ... with parameters
    1152             reference to instance of type ostype (not function type)
    1153             _Bool
    1154           ... returning nothing
    1155 
    1156           ... with resolved type:
    1157             pointer to function
    1158             ... with parameters
    1159               reference to instance of type [unbound] (not function type)
    1160               _Bool
    1161             ... returning nothing
    1162 
    1163           Variable Expression: sepGetCur$: pointer to function
    1164           ... with parameters
    1165             reference to instance of type ostype (not function type)
    1166           ... returning
    1167             pointer to const char
    1168 
    1169           ... with resolved type:
    1170             pointer to function
    1171             ... with parameters
    1172               reference to instance of type [unbound] (not function type)
    1173             ... returning
    1174               pointer to const char
    1175 
    1176           Variable Expression: sepSetCur$: pointer to function
    1177           ... with parameters
    1178             reference to instance of type ostype (not function type)
    1179             pointer to const char
    1180           ... returning nothing
    1181 
    1182           ... with resolved type:
    1183             pointer to function
    1184             ... with parameters
    1185               reference to instance of type [unbound] (not function type)
    1186               pointer to const char
    1187             ... returning nothing
    1188 
    1189           Variable Expression: getNL$: pointer to function
    1190           ... with parameters
    1191             reference to instance of type ostype (not function type)
    1192           ... returning
    1193             _Bool
    1194 
    1195           ... with resolved type:
    1196             pointer to function
    1197             ... with parameters
    1198               reference to instance of type [unbound] (not function type)
    1199             ... returning
    1200               _Bool
    1201 
    1202           Variable Expression: setNL$: pointer to function
    1203           ... with parameters
    1204             reference to instance of type ostype (not function type)
    1205             _Bool
    1206           ... returning
    1207             _Bool
    1208 
    1209           ... with resolved type:
    1210             pointer to function
    1211             ... with parameters
    1212               reference to instance of type [unbound] (not function type)
    1213               _Bool
    1214             ... returning
    1215               _Bool
    1216 
    1217           Variable Expression: getANL$: pointer to function
    1218           ... with parameters
    1219             reference to instance of type ostype (not function type)
    1220           ... returning
    1221             _Bool
    1222 
    1223           ... with resolved type:
    1224             pointer to function
    1225             ... with parameters
    1226               reference to instance of type [unbound] (not function type)
    1227             ... returning
    1228               _Bool
    1229 
    1230           Variable Expression: setANL$: pointer to function
    1231           ... with parameters
    1232             reference to instance of type ostype (not function type)
    1233             _Bool
    1234           ... returning
    1235             _Bool
    1236 
    1237           ... with resolved type:
    1238             pointer to function
    1239             ... with parameters
    1240               reference to instance of type [unbound] (not function type)
    1241               _Bool
    1242             ... returning
    1243               _Bool
    1244 
    1245           Variable Expression: getPrt$: pointer to function
    1246           ... with parameters
    1247             reference to instance of type ostype (not function type)
    1248           ... returning
    1249             _Bool
    1250 
    1251           ... with resolved type:
    1252             pointer to function
    1253             ... with parameters
    1254               reference to instance of type [unbound] (not function type)
    1255             ... returning
    1256               _Bool
    1257 
    1258           Variable Expression: setPrt$: pointer to function
    1259           ... with parameters
    1260             reference to instance of type ostype (not function type)
    1261             _Bool
    1262           ... returning
    1263             _Bool
    1264 
    1265           ... with resolved type:
    1266             pointer to function
    1267             ... with parameters
    1268               reference to instance of type [unbound] (not function type)
    1269               _Bool
    1270             ... returning
    1271               _Bool
    1272 
    1273           Variable Expression: nlOn: pointer to function
    1274           ... with parameters
    1275             reference to instance of type ostype (not function type)
    1276           ... returning nothing
    1277 
    1278           ... with resolved type:
    1279             pointer to function
    1280             ... with parameters
    1281               reference to instance of type [unbound] (not function type)
    1282             ... returning nothing
    1283 
    1284           Variable Expression: nlOff: pointer to function
    1285           ... with parameters
    1286             reference to instance of type ostype (not function type)
    1287           ... returning nothing
    1288 
    1289           ... with resolved type:
    1290             pointer to function
    1291             ... with parameters
    1292               reference to instance of type [unbound] (not function type)
    1293             ... returning nothing
    1294 
    1295           Variable Expression: sep: pointer to function
    1296           ... with parameters
    1297             reference to instance of type ostype (not function type)
    1298           ... returning nothing
    1299 
    1300           ... with resolved type:
    1301             pointer to function
    1302             ... with parameters
    1303               reference to instance of type [unbound] (not function type)
    1304             ... returning nothing
    1305 
    1306           Variable Expression: nosep: pointer to function
    1307           ... with parameters
    1308             reference to instance of type ostype (not function type)
    1309           ... returning nothing
    1310 
    1311           ... with resolved type:
    1312             pointer to function
    1313             ... with parameters
    1314               reference to instance of type [unbound] (not function type)
    1315             ... returning nothing
    1316 
    1317           Variable Expression: sepOn: pointer to function
    1318           ... with parameters
    1319             reference to instance of type ostype (not function type)
    1320           ... returning
    1321             _Bool
    1322 
    1323           ... with resolved type:
    1324             pointer to function
    1325             ... with parameters
    1326               reference to instance of type [unbound] (not function type)
    1327             ... returning
    1328               _Bool
    1329 
    1330           Variable Expression: sepOff: pointer to function
    1331           ... with parameters
    1332             reference to instance of type ostype (not function type)
    1333           ... returning
    1334             _Bool
    1335 
    1336           ... with resolved type:
    1337             pointer to function
    1338             ... with parameters
    1339               reference to instance of type [unbound] (not function type)
    1340             ... returning
    1341               _Bool
    1342 
    1343           Variable Expression: sepGet: pointer to function
    1344           ... with parameters
    1345             reference to instance of type ostype (not function type)
    1346           ... returning
    1347             pointer to const char
    1348 
    1349           ... with resolved type:
    1350             pointer to function
    1351             ... with parameters
    1352               reference to instance of type [unbound] (not function type)
    1353             ... returning
    1354               pointer to const char
    1355 
    1356           Variable Expression: sepSet: pointer to function
    1357           ... with parameters
    1358             reference to instance of type ostype (not function type)
    1359             pointer to const char
    1360           ... returning nothing
    1361 
    1362           ... with resolved type:
    1363             pointer to function
    1364             ... with parameters
    1365               reference to instance of type [unbound] (not function type)
    1366               pointer to const char
    1367             ... returning nothing
    1368 
    1369           Variable Expression: sepGetTuple: pointer to function
    1370           ... with parameters
    1371             reference to instance of type ostype (not function type)
    1372           ... returning
    1373             pointer to const char
    1374 
    1375           ... with resolved type:
    1376             pointer to function
    1377             ... with parameters
    1378               reference to instance of type [unbound] (not function type)
    1379             ... returning
    1380               pointer to const char
    1381 
    1382           Variable Expression: sepSetTuple: pointer to function
    1383           ... with parameters
    1384             reference to instance of type ostype (not function type)
    1385             pointer to const char
    1386           ... returning nothing
    1387 
    1388           ... with resolved type:
    1389             pointer to function
    1390             ... with parameters
    1391               reference to instance of type [unbound] (not function type)
    1392               pointer to const char
    1393             ... returning nothing
    1394 
    1395           Variable Expression: ends: pointer to function
    1396           ... with parameters
    1397             reference to instance of type ostype (not function type)
    1398           ... returning nothing
    1399 
    1400           ... with resolved type:
    1401             pointer to function
    1402             ... with parameters
    1403               reference to instance of type [unbound] (not function type)
    1404             ... returning nothing
    1405 
    1406           Variable Expression: fmt: pointer to function
    1407           ... with parameters
    1408             reference to instance of type ostype (not function type)
    1409             pointer to const char
    1410             and a variable number of other arguments
    1411           ... returning
    1412             signed int
    1413 
    1414           ... with resolved type:
    1415             pointer to function
    1416             ... with parameters
    1417               reference to instance of type [unbound] (not function type)
    1418               pointer to const char
    1419               and a variable number of other arguments
    1420             ... returning
    1421               signed int
     136              instance of type [unbound] (not function type)
    1422137
    1423138          function
    … …  
    1463178        instance of struct string with body
    1464179    with inferred parameters 0:
    1465       sepPrt$: function
    1466       ... with parameters
    1467         reference to instance of struct ofstream with body
    1468       ... returning
    1469         _Bool
    1470 
    1471       sepReset$: function
    1472       ... with parameters
    1473         reference to instance of struct ofstream with body
    1474       ... returning nothing
    1475 
    1476       sepReset$: function
    1477       ... with parameters
    1478         reference to instance of struct ofstream with body
    1479         _Bool
    1480       ... returning nothing
    1481 
    1482       sepGetCur$: function
    1483       ... with parameters
    1484         reference to instance of struct ofstream with body
    1485       ... returning
    1486         pointer to const char
    1487 
    1488       sepSetCur$: function
    1489       ... with parameters
    1490         reference to instance of struct ofstream with body
    1491         pointer to const char
    1492       ... returning nothing
    1493 
    1494       getNL$: function
    1495       ... with parameters
    1496         reference to instance of struct ofstream with body
    1497       ... returning
    1498         _Bool
    1499 
    1500       setNL$: function
    1501       ... with parameters
    1502         reference to instance of struct ofstream with body
    1503         _Bool
    1504       ... returning
    1505         _Bool
    1506 
    1507       getANL$: function
    1508       ... with parameters
    1509         reference to instance of struct ofstream with body
    1510       ... returning
    1511         _Bool
    1512 
    1513       setANL$: function
    1514       ... with parameters
    1515         reference to instance of struct ofstream with body
    1516         _Bool
    1517       ... returning
    1518         _Bool
    1519 
    1520       getPrt$: function
    1521       ... with parameters
    1522         reference to instance of struct ofstream with body
    1523       ... returning
    1524         _Bool
    1525 
    1526       setPrt$: function
    1527       ... with parameters
    1528         reference to instance of struct ofstream with body
    1529         _Bool
    1530       ... returning
    1531         _Bool
    1532 
    1533       nlOn: function
    1534       ... with parameters
    1535         reference to instance of struct ofstream with body
    1536       ... returning nothing
    1537 
    1538       nlOff: function
    1539       ... with parameters
    1540         reference to instance of struct ofstream with body
    1541       ... returning nothing
    1542 
    1543       sep: function
    1544       ... with parameters
    1545         reference to instance of struct ofstream with body
    1546       ... returning nothing
    1547 
    1548       nosep: function
    1549       ... with parameters
    1550         reference to instance of struct ofstream with body
    1551       ... returning nothing
    1552 
    1553       sepOn: function
    1554       ... with parameters
    1555         reference to instance of struct ofstream with body
    1556       ... returning
    1557         _Bool
    1558 
    1559       sepOff: function
    1560       ... with parameters
    1561         reference to instance of struct ofstream with body
    1562       ... returning
    1563         _Bool
    1564 
    1565       sepGet: function
    1566       ... with parameters
    1567         reference to instance of struct ofstream with body
    1568       ... returning
    1569         pointer to const char
    1570 
    1571       sepSet: function
    1572       ... with parameters
    1573         reference to instance of struct ofstream with body
    1574         pointer to const char
    1575       ... returning nothing
    1576 
    1577       sepGetTuple: function
    1578       ... with parameters
    1579         reference to instance of struct ofstream with body
    1580       ... returning
    1581         pointer to const char
    1582 
    1583       sepSetTuple: function
    1584       ... with parameters
    1585         reference to instance of struct ofstream with body
    1586         pointer to const char
    1587       ... returning nothing
    1588 
    1589       ends: function
    1590       ... with parameters
    1591         reference to instance of struct ofstream with body
    1592       ... returning nothing
    1593 
    1594       fmt: function
    1595       ... with parameters
    1596         reference to instance of struct ofstream with body
    1597         pointer to const char
    1598         and a variable number of other arguments
    1599       ... returning
    1600         signed int
     180      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     181      ... with parameters
     182        instance of struct ofstream with body
    1601183
    1602184
    … …  
    1609191
    1610192
    1611 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     193Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    1612194      Variable Expression: ?|?: forall
    1613195        instance of type ostype (not function type)
    1614196        with assertions
    1615         Variable Expression: sepPrt$: pointer to function
    1616         ... with parameters
    1617           reference to instance of type ostype (not function type)
    1618         ... returning
    1619           _Bool
    1620 
    1621         ... with resolved type:
    1622           pointer to function
    1623           ... with parameters
    1624             reference to instance of type ostype (not function type)
    1625           ... returning
    1626             _Bool
    1627 
    1628         Variable Expression: sepReset$: pointer to function
    1629         ... with parameters
    1630           reference to instance of type ostype (not function type)
    1631         ... returning nothing
    1632 
    1633         ... with resolved type:
    1634           pointer to function
    1635           ... with parameters
    1636             reference to instance of type ostype (not function type)
    1637           ... returning nothing
    1638 
    1639         Variable Expression: sepReset$: pointer to function
    1640         ... with parameters
    1641           reference to instance of type ostype (not function type)
    1642           _Bool
    1643         ... returning nothing
    1644 
    1645         ... with resolved type:
    1646           pointer to function
    1647           ... with parameters
    1648             reference to instance of type ostype (not function type)
    1649             _Bool
    1650           ... returning nothing
    1651 
    1652         Variable Expression: sepGetCur$: pointer to function
    1653         ... with parameters
    1654           reference to instance of type ostype (not function type)
    1655         ... returning
    1656           pointer to const char
    1657 
    1658         ... with resolved type:
    1659           pointer to function
    1660           ... with parameters
    1661             reference to instance of type ostype (not function type)
    1662           ... returning
    1663             pointer to const char
    1664 
    1665         Variable Expression: sepSetCur$: pointer to function
    1666         ... with parameters
    1667           reference to instance of type ostype (not function type)
    1668           pointer to const char
    1669         ... returning nothing
    1670 
    1671         ... with resolved type:
    1672           pointer to function
    1673           ... with parameters
    1674             reference to instance of type ostype (not function type)
    1675             pointer to const char
    1676           ... returning nothing
    1677 
    1678         Variable Expression: getNL$: pointer to function
    1679         ... with parameters
    1680           reference to instance of type ostype (not function type)
    1681         ... returning
    1682           _Bool
    1683 
    1684         ... with resolved type:
    1685           pointer to function
    1686           ... with parameters
    1687             reference to instance of type ostype (not function type)
    1688           ... returning
    1689             _Bool
    1690 
    1691         Variable Expression: setNL$: pointer to function
    1692         ... with parameters
    1693           reference to instance of type ostype (not function type)
    1694           _Bool
    1695         ... returning
    1696           _Bool
    1697 
    1698         ... with resolved type:
    1699           pointer to function
    1700           ... with parameters
    1701             reference to instance of type ostype (not function type)
    1702             _Bool
    1703           ... returning
    1704             _Bool
    1705 
    1706         Variable Expression: getANL$: pointer to function
    1707         ... with parameters
    1708           reference to instance of type ostype (not function type)
    1709         ... returning
    1710           _Bool
    1711 
    1712         ... with resolved type:
    1713           pointer to function
    1714           ... with parameters
    1715             reference to instance of type ostype (not function type)
    1716           ... returning
    1717             _Bool
    1718 
    1719         Variable Expression: setANL$: pointer to function
    1720         ... with parameters
    1721           reference to instance of type ostype (not function type)
    1722           _Bool
    1723         ... returning
    1724           _Bool
    1725 
    1726         ... with resolved type:
    1727           pointer to function
    1728           ... with parameters
    1729             reference to instance of type ostype (not function type)
    1730             _Bool
    1731           ... returning
    1732             _Bool
    1733 
    1734         Variable Expression: getPrt$: pointer to function
    1735         ... with parameters
    1736           reference to instance of type ostype (not function type)
    1737         ... returning
    1738           _Bool
    1739 
    1740         ... with resolved type:
    1741           pointer to function
    1742           ... with parameters
    1743             reference to instance of type ostype (not function type)
    1744           ... returning
    1745             _Bool
    1746 
    1747         Variable Expression: setPrt$: pointer to function
    1748         ... with parameters
    1749           reference to instance of type ostype (not function type)
    1750           _Bool
    1751         ... returning
    1752           _Bool
    1753 
    1754         ... with resolved type:
    1755           pointer to function
    1756           ... with parameters
    1757             reference to instance of type ostype (not function type)
    1758             _Bool
    1759           ... returning
    1760             _Bool
    1761 
    1762         Variable Expression: nlOn: pointer to function
    1763         ... with parameters
    1764           reference to instance of type ostype (not function type)
    1765         ... returning nothing
    1766 
    1767         ... with resolved type:
    1768           pointer to function
    1769           ... with parameters
    1770             reference to instance of type ostype (not function type)
    1771           ... returning nothing
    1772 
    1773         Variable Expression: nlOff: pointer to function
    1774         ... with parameters
    1775           reference to instance of type ostype (not function type)
    1776         ... returning nothing
    1777 
    1778         ... with resolved type:
    1779           pointer to function
    1780           ... with parameters
    1781             reference to instance of type ostype (not function type)
    1782           ... returning nothing
    1783 
    1784         Variable Expression: sep: pointer to function
    1785         ... with parameters
    1786           reference to instance of type ostype (not function type)
    1787         ... returning nothing
    1788 
    1789         ... with resolved type:
    1790           pointer to function
    1791           ... with parameters
    1792             reference to instance of type ostype (not function type)
    1793           ... returning nothing
    1794 
    1795         Variable Expression: nosep: pointer to function
    1796         ... with parameters
    1797           reference to instance of type ostype (not function type)
    1798         ... returning nothing
    1799 
    1800         ... with resolved type:
    1801           pointer to function
    1802           ... with parameters
    1803             reference to instance of type ostype (not function type)
    1804           ... returning nothing
    1805 
    1806         Variable Expression: sepOn: pointer to function
    1807         ... with parameters
    1808           reference to instance of type ostype (not function type)
    1809         ... returning
    1810           _Bool
    1811 
    1812         ... with resolved type:
    1813           pointer to function
    1814           ... with parameters
    1815             reference to instance of type ostype (not function type)
    1816           ... returning
    1817             _Bool
    1818 
    1819         Variable Expression: sepOff: pointer to function
    1820         ... with parameters
    1821           reference to instance of type ostype (not function type)
    1822         ... returning
    1823           _Bool
    1824 
    1825         ... with resolved type:
    1826           pointer to function
    1827           ... with parameters
    1828             reference to instance of type ostype (not function type)
    1829           ... returning
    1830             _Bool
    1831 
    1832         Variable Expression: sepGet: pointer to function
    1833         ... with parameters
    1834           reference to instance of type ostype (not function type)
    1835         ... returning
    1836           pointer to const char
    1837 
    1838         ... with resolved type:
    1839           pointer to function
    1840           ... with parameters
    1841             reference to instance of type ostype (not function type)
    1842           ... returning
    1843             pointer to const char
    1844 
    1845         Variable Expression: sepSet: pointer to function
    1846         ... with parameters
    1847           reference to instance of type ostype (not function type)
    1848           pointer to const char
    1849         ... returning nothing
    1850 
    1851         ... with resolved type:
    1852           pointer to function
    1853           ... with parameters
    1854             reference to instance of type ostype (not function type)
    1855             pointer to const char
    1856           ... returning nothing
    1857 
    1858         Variable Expression: sepGetTuple: pointer to function
    1859         ... with parameters
    1860           reference to instance of type ostype (not function type)
    1861         ... returning
    1862           pointer to const char
    1863 
    1864         ... with resolved type:
    1865           pointer to function
    1866           ... with parameters
    1867             reference to instance of type ostype (not function type)
    1868           ... returning
    1869             pointer to const char
    1870 
    1871         Variable Expression: sepSetTuple: pointer to function
    1872         ... with parameters
    1873           reference to instance of type ostype (not function type)
    1874           pointer to const char
    1875         ... returning nothing
    1876 
    1877         ... with resolved type:
    1878           pointer to function
    1879           ... with parameters
    1880             reference to instance of type ostype (not function type)
    1881             pointer to const char
    1882           ... returning nothing
    1883 
    1884         Variable Expression: ends: pointer to function
    1885         ... with parameters
    1886           reference to instance of type ostype (not function type)
    1887         ... returning nothing
    1888 
    1889         ... with resolved type:
    1890           pointer to function
    1891           ... with parameters
    1892             reference to instance of type ostype (not function type)
    1893           ... returning nothing
    1894 
    1895         Variable Expression: fmt: pointer to function
    1896         ... with parameters
    1897           reference to instance of type ostype (not function type)
    1898           pointer to const char
    1899           and a variable number of other arguments
    1900         ... returning
    1901           signed int
    1902 
    1903         ... with resolved type:
    1904           pointer to function
    1905           ... with parameters
    1906             reference to instance of type ostype (not function type)
    1907             pointer to const char
    1908             and a variable number of other arguments
    1909           ... returning
    1910             signed int
     197        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     198        ... with parameters
     199          instance of type ostype (not function type)
     200
     201        ... with resolved type:
     202          reference to const instance of struct basic_ostream_data with body
     203          ... with parameters
     204            instance of type ostype (not function type)
    1911205
    1912206        function
    … …  
    1921215          instance of type [unbound] (not function type)
    1922216          with assertions
    1923           Variable Expression: sepPrt$: pointer to function
    1924           ... with parameters
    1925             reference to instance of type ostype (not function type)
    1926           ... returning
    1927             _Bool
    1928 
    1929           ... with resolved type:
    1930             pointer to function
     217          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     218          ... with parameters
     219            instance of type ostype (not function type)
     220
     221          ... with resolved type:
     222            reference to const instance of struct basic_ostream_data with body
    1931223            ... with parameters
    1932               reference to instance of type [unbound] (not function type)
    1933             ... returning
    1934               _Bool
    1935 
    1936           Variable Expression: sepReset$: pointer to function
    1937           ... with parameters
    1938             reference to instance of type ostype (not function type)
    1939           ... returning nothing
    1940 
    1941           ... with resolved type:
    1942             pointer to function
    1943             ... with parameters
    1944               reference to instance of type [unbound] (not function type)
    1945             ... returning nothing
    1946 
    1947           Variable Expression: sepReset$: pointer to function
    1948           ... with parameters
    1949             reference to instance of type ostype (not function type)
    1950             _Bool
    1951           ... returning nothing
    1952 
    1953           ... with resolved type:
    1954             pointer to function
    1955             ... with parameters
    1956               reference to instance of type [unbound] (not function type)
    1957               _Bool
    1958             ... returning nothing
    1959 
    1960           Variable Expression: sepGetCur$: pointer to function
    1961           ... with parameters
    1962             reference to instance of type ostype (not function type)
    1963           ... returning
    1964             pointer to const char
    1965 
    1966           ... with resolved type:
    1967             pointer to function
    1968             ... with parameters
    1969               reference to instance of type [unbound] (not function type)
    1970             ... returning
    1971               pointer to const char
    1972 
    1973           Variable Expression: sepSetCur$: pointer to function
    1974           ... with parameters
    1975             reference to instance of type ostype (not function type)
    1976             pointer to const char
    1977           ... returning nothing
    1978 
    1979           ... with resolved type:
    1980             pointer to function
    1981             ... with parameters
    1982               reference to instance of type [unbound] (not function type)
    1983               pointer to const char
    1984             ... returning nothing
    1985 
    1986           Variable Expression: getNL$: pointer to function
    1987           ... with parameters
    1988             reference to instance of type ostype (not function type)
    1989           ... returning
    1990             _Bool
    1991 
    1992           ... with resolved type:
    1993             pointer to function
    1994             ... with parameters
    1995               reference to instance of type [unbound] (not function type)
    1996             ... returning
    1997               _Bool
    1998 
    1999           Variable Expression: setNL$: pointer to function
    2000           ... with parameters
    2001             reference to instance of type ostype (not function type)
    2002             _Bool
    2003           ... returning
    2004             _Bool
    2005 
    2006           ... with resolved type:
    2007             pointer to function
    2008             ... with parameters
    2009               reference to instance of type [unbound] (not function type)
    2010               _Bool
    2011             ... returning
    2012               _Bool
    2013 
    2014           Variable Expression: getANL$: pointer to function
    2015           ... with parameters
    2016             reference to instance of type ostype (not function type)
    2017           ... returning
    2018             _Bool
    2019 
    2020           ... with resolved type:
    2021             pointer to function
    2022             ... with parameters
    2023               reference to instance of type [unbound] (not function type)
    2024             ... returning
    2025               _Bool
    2026 
    2027           Variable Expression: setANL$: pointer to function
    2028           ... with parameters
    2029             reference to instance of type ostype (not function type)
    2030             _Bool
    2031           ... returning
    2032             _Bool
    2033 
    2034           ... with resolved type:
    2035             pointer to function
    2036             ... with parameters
    2037               reference to instance of type [unbound] (not function type)
    2038               _Bool
    2039             ... returning
    2040               _Bool
    2041 
    2042           Variable Expression: getPrt$: pointer to function
    2043           ... with parameters
    2044             reference to instance of type ostype (not function type)
    2045           ... returning
    2046             _Bool
    2047 
    2048           ... with resolved type:
    2049             pointer to function
    2050             ... with parameters
    2051               reference to instance of type [unbound] (not function type)
    2052             ... returning
    2053               _Bool
    2054 
    2055           Variable Expression: setPrt$: pointer to function
    2056           ... with parameters
    2057             reference to instance of type ostype (not function type)
    2058             _Bool
    2059           ... returning
    2060             _Bool
    2061 
    2062           ... with resolved type:
    2063             pointer to function
    2064             ... with parameters
    2065               reference to instance of type [unbound] (not function type)
    2066               _Bool
    2067             ... returning
    2068               _Bool
    2069 
    2070           Variable Expression: nlOn: pointer to function
    2071           ... with parameters
    2072             reference to instance of type ostype (not function type)
    2073           ... returning nothing
    2074 
    2075           ... with resolved type:
    2076             pointer to function
    2077             ... with parameters
    2078               reference to instance of type [unbound] (not function type)
    2079             ... returning nothing
    2080 
    2081           Variable Expression: nlOff: pointer to function
    2082           ... with parameters
    2083             reference to instance of type ostype (not function type)
    2084           ... returning nothing
    2085 
    2086           ... with resolved type:
    2087             pointer to function
    2088             ... with parameters
    2089               reference to instance of type [unbound] (not function type)
    2090             ... returning nothing
    2091 
    2092           Variable Expression: sep: pointer to function
    2093           ... with parameters
    2094             reference to instance of type ostype (not function type)
    2095           ... returning nothing
    2096 
    2097           ... with resolved type:
    2098             pointer to function
    2099             ... with parameters
    2100               reference to instance of type [unbound] (not function type)
    2101             ... returning nothing
    2102 
    2103           Variable Expression: nosep: pointer to function
    2104           ... with parameters
    2105             reference to instance of type ostype (not function type)
    2106           ... returning nothing
    2107 
    2108           ... with resolved type:
    2109             pointer to function
    2110             ... with parameters
    2111               reference to instance of type [unbound] (not function type)
    2112             ... returning nothing
    2113 
    2114           Variable Expression: sepOn: pointer to function
    2115           ... with parameters
    2116             reference to instance of type ostype (not function type)
    2117           ... returning
    2118             _Bool
    2119 
    2120           ... with resolved type:
    2121             pointer to function
    2122             ... with parameters
    2123               reference to instance of type [unbound] (not function type)
    2124             ... returning
    2125               _Bool
    2126 
    2127           Variable Expression: sepOff: pointer to function
    2128           ... with parameters
    2129             reference to instance of type ostype (not function type)
    2130           ... returning
    2131             _Bool
    2132 
    2133           ... with resolved type:
    2134             pointer to function
    2135             ... with parameters
    2136               reference to instance of type [unbound] (not function type)
    2137             ... returning
    2138               _Bool
    2139 
    2140           Variable Expression: sepGet: pointer to function
    2141           ... with parameters
    2142             reference to instance of type ostype (not function type)
    2143           ... returning
    2144             pointer to const char
    2145 
    2146           ... with resolved type:
    2147             pointer to function
    2148             ... with parameters
    2149               reference to instance of type [unbound] (not function type)
    2150             ... returning
    2151               pointer to const char
    2152 
    2153           Variable Expression: sepSet: pointer to function
    2154           ... with parameters
    2155             reference to instance of type ostype (not function type)
    2156             pointer to const char
    2157           ... returning nothing
    2158 
    2159           ... with resolved type:
    2160             pointer to function
    2161             ... with parameters
    2162               reference to instance of type [unbound] (not function type)
    2163               pointer to const char
    2164             ... returning nothing
    2165 
    2166           Variable Expression: sepGetTuple: pointer to function
    2167           ... with parameters
    2168             reference to instance of type ostype (not function type)
    2169           ... returning
    2170             pointer to const char
    2171 
    2172           ... with resolved type:
    2173             pointer to function
    2174             ... with parameters
    2175               reference to instance of type [unbound] (not function type)
    2176             ... returning
    2177               pointer to const char
    2178 
    2179           Variable Expression: sepSetTuple: pointer to function
    2180           ... with parameters
    2181             reference to instance of type ostype (not function type)
    2182             pointer to const char
    2183           ... returning nothing
    2184 
    2185           ... with resolved type:
    2186             pointer to function
    2187             ... with parameters
    2188               reference to instance of type [unbound] (not function type)
    2189               pointer to const char
    2190             ... returning nothing
    2191 
    2192           Variable Expression: ends: pointer to function
    2193           ... with parameters
    2194             reference to instance of type ostype (not function type)
    2195           ... returning nothing
    2196 
    2197           ... with resolved type:
    2198             pointer to function
    2199             ... with parameters
    2200               reference to instance of type [unbound] (not function type)
    2201             ... returning nothing
    2202 
    2203           Variable Expression: fmt: pointer to function
    2204           ... with parameters
    2205             reference to instance of type ostype (not function type)
    2206             pointer to const char
    2207             and a variable number of other arguments
    2208           ... returning
    2209             signed int
    2210 
    2211           ... with resolved type:
    2212             pointer to function
    2213             ... with parameters
    2214               reference to instance of type [unbound] (not function type)
    2215               pointer to const char
    2216               and a variable number of other arguments
    2217             ... returning
    2218               signed int
     224              instance of type [unbound] (not function type)
    2219225
    2220226          function
    … …  
    2261267        signed int
    2262268    with inferred parameters 0:
    2263       sepPrt$: function
    2264       ... with parameters
    2265         reference to instance of struct ofstream with body
    2266       ... returning
    2267         _Bool
    2268 
    2269       sepReset$: function
    2270       ... with parameters
    2271         reference to instance of struct ofstream with body
    2272       ... returning nothing
    2273 
    2274       sepReset$: function
    2275       ... with parameters
    2276         reference to instance of struct ofstream with body
    2277         _Bool
    2278       ... returning nothing
    2279 
    2280       sepGetCur$: function
    2281       ... with parameters
    2282         reference to instance of struct ofstream with body
    2283       ... returning
    2284         pointer to const char
    2285 
    2286       sepSetCur$: function
    2287       ... with parameters
    2288         reference to instance of struct ofstream with body
    2289         pointer to const char
    2290       ... returning nothing
    2291 
    2292       getNL$: function
    2293       ... with parameters
    2294         reference to instance of struct ofstream with body
    2295       ... returning
    2296         _Bool
    2297 
    2298       setNL$: function
    2299       ... with parameters
    2300         reference to instance of struct ofstream with body
    2301         _Bool
    2302       ... returning
    2303         _Bool
    2304 
    2305       getANL$: function
    2306       ... with parameters
    2307         reference to instance of struct ofstream with body
    2308       ... returning
    2309         _Bool
    2310 
    2311       setANL$: function
    2312       ... with parameters
    2313         reference to instance of struct ofstream with body
    2314         _Bool
    2315       ... returning
    2316         _Bool
    2317 
    2318       getPrt$: function
    2319       ... with parameters
    2320         reference to instance of struct ofstream with body
    2321       ... returning
    2322         _Bool
    2323 
    2324       setPrt$: function
    2325       ... with parameters
    2326         reference to instance of struct ofstream with body
    2327         _Bool
    2328       ... returning
    2329         _Bool
    2330 
    2331       nlOn: function
    2332       ... with parameters
    2333         reference to instance of struct ofstream with body
    2334       ... returning nothing
    2335 
    2336       nlOff: function
    2337       ... with parameters
    2338         reference to instance of struct ofstream with body
    2339       ... returning nothing
    2340 
    2341       sep: function
    2342       ... with parameters
    2343         reference to instance of struct ofstream with body
    2344       ... returning nothing
    2345 
    2346       nosep: function
    2347       ... with parameters
    2348         reference to instance of struct ofstream with body
    2349       ... returning nothing
    2350 
    2351       sepOn: function
    2352       ... with parameters
    2353         reference to instance of struct ofstream with body
    2354       ... returning
    2355         _Bool
    2356 
    2357       sepOff: function
    2358       ... with parameters
    2359         reference to instance of struct ofstream with body
    2360       ... returning
    2361         _Bool
    2362 
    2363       sepGet: function
    2364       ... with parameters
    2365         reference to instance of struct ofstream with body
    2366       ... returning
    2367         pointer to const char
    2368 
    2369       sepSet: function
    2370       ... with parameters
    2371         reference to instance of struct ofstream with body
    2372         pointer to const char
    2373       ... returning nothing
    2374 
    2375       sepGetTuple: function
    2376       ... with parameters
    2377         reference to instance of struct ofstream with body
    2378       ... returning
    2379         pointer to const char
    2380 
    2381       sepSetTuple: function
    2382       ... with parameters
    2383         reference to instance of struct ofstream with body
    2384         pointer to const char
    2385       ... returning nothing
    2386 
    2387       ends: function
    2388       ... with parameters
    2389         reference to instance of struct ofstream with body
    2390       ... returning nothing
    2391 
    2392       fmt: function
    2393       ... with parameters
    2394         reference to instance of struct ofstream with body
    2395         pointer to const char
    2396         and a variable number of other arguments
    2397       ... returning
    2398         signed int
     269      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     270      ... with parameters
     271        instance of struct ofstream with body
    2399272
    2400273
    … …  
    2407280
    2408281
    2409 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     282Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    2410283      Variable Expression: ?|?: forall
    2411284        instance of type ostype (not function type)
    2412285        with assertions
    2413         Variable Expression: sepPrt$: pointer to function
    2414         ... with parameters
    2415           reference to instance of type ostype (not function type)
    2416         ... returning
    2417           _Bool
    2418 
    2419         ... with resolved type:
    2420           pointer to function
    2421           ... with parameters
    2422             reference to instance of type ostype (not function type)
    2423           ... returning
    2424             _Bool
    2425 
    2426         Variable Expression: sepReset$: pointer to function
    2427         ... with parameters
    2428           reference to instance of type ostype (not function type)
    2429         ... returning nothing
    2430 
    2431         ... with resolved type:
    2432           pointer to function
    2433           ... with parameters
    2434             reference to instance of type ostype (not function type)
    2435           ... returning nothing
    2436 
    2437         Variable Expression: sepReset$: pointer to function
    2438         ... with parameters
    2439           reference to instance of type ostype (not function type)
    2440           _Bool
    2441         ... returning nothing
    2442 
    2443         ... with resolved type:
    2444           pointer to function
    2445           ... with parameters
    2446             reference to instance of type ostype (not function type)
    2447             _Bool
    2448           ... returning nothing
    2449 
    2450         Variable Expression: sepGetCur$: pointer to function
    2451         ... with parameters
    2452           reference to instance of type ostype (not function type)
    2453         ... returning
    2454           pointer to const char
    2455 
    2456         ... with resolved type:
    2457           pointer to function
    2458           ... with parameters
    2459             reference to instance of type ostype (not function type)
    2460           ... returning
    2461             pointer to const char
    2462 
    2463         Variable Expression: sepSetCur$: pointer to function
    2464         ... with parameters
    2465           reference to instance of type ostype (not function type)
    2466           pointer to const char
    2467         ... returning nothing
    2468 
    2469         ... with resolved type:
    2470           pointer to function
    2471           ... with parameters
    2472             reference to instance of type ostype (not function type)
    2473             pointer to const char
    2474           ... returning nothing
    2475 
    2476         Variable Expression: getNL$: pointer to function
    2477         ... with parameters
    2478           reference to instance of type ostype (not function type)
    2479         ... returning
    2480           _Bool
    2481 
    2482         ... with resolved type:
    2483           pointer to function
    2484           ... with parameters
    2485             reference to instance of type ostype (not function type)
    2486           ... returning
    2487             _Bool
    2488 
    2489         Variable Expression: setNL$: pointer to function
    2490         ... with parameters
    2491           reference to instance of type ostype (not function type)
    2492           _Bool
    2493         ... returning
    2494           _Bool
    2495 
    2496         ... with resolved type:
    2497           pointer to function
    2498           ... with parameters
    2499             reference to instance of type ostype (not function type)
    2500             _Bool
    2501           ... returning
    2502             _Bool
    2503 
    2504         Variable Expression: getANL$: pointer to function
    2505         ... with parameters
    2506           reference to instance of type ostype (not function type)
    2507         ... returning
    2508           _Bool
    2509 
    2510         ... with resolved type:
    2511           pointer to function
    2512           ... with parameters
    2513             reference to instance of type ostype (not function type)
    2514           ... returning
    2515             _Bool
    2516 
    2517         Variable Expression: setANL$: pointer to function
    2518         ... with parameters
    2519           reference to instance of type ostype (not function type)
    2520           _Bool
    2521         ... returning
    2522           _Bool
    2523 
    2524         ... with resolved type:
    2525           pointer to function
    2526           ... with parameters
    2527             reference to instance of type ostype (not function type)
    2528             _Bool
    2529           ... returning
    2530             _Bool
    2531 
    2532         Variable Expression: getPrt$: pointer to function
    2533         ... with parameters
    2534           reference to instance of type ostype (not function type)
    2535         ... returning
    2536           _Bool
    2537 
    2538         ... with resolved type:
    2539           pointer to function
    2540           ... with parameters
    2541             reference to instance of type ostype (not function type)
    2542           ... returning
    2543             _Bool
    2544 
    2545         Variable Expression: setPrt$: pointer to function
    2546         ... with parameters
    2547           reference to instance of type ostype (not function type)
    2548           _Bool
    2549         ... returning
    2550           _Bool
    2551 
    2552         ... with resolved type:
    2553           pointer to function
    2554           ... with parameters
    2555             reference to instance of type ostype (not function type)
    2556             _Bool
    2557           ... returning
    2558             _Bool
    2559 
    2560         Variable Expression: nlOn: pointer to function
    2561         ... with parameters
    2562           reference to instance of type ostype (not function type)
    2563         ... returning nothing
    2564 
    2565         ... with resolved type:
    2566           pointer to function
    2567           ... with parameters
    2568             reference to instance of type ostype (not function type)
    2569           ... returning nothing
    2570 
    2571         Variable Expression: nlOff: pointer to function
    2572         ... with parameters
    2573           reference to instance of type ostype (not function type)
    2574         ... returning nothing
    2575 
    2576         ... with resolved type:
    2577           pointer to function
    2578           ... with parameters
    2579             reference to instance of type ostype (not function type)
    2580           ... returning nothing
    2581 
    2582         Variable Expression: sep: pointer to function
    2583         ... with parameters
    2584           reference to instance of type ostype (not function type)
    2585         ... returning nothing
    2586 
    2587         ... with resolved type:
    2588           pointer to function
    2589           ... with parameters
    2590             reference to instance of type ostype (not function type)
    2591           ... returning nothing
    2592 
    2593         Variable Expression: nosep: pointer to function
    2594         ... with parameters
    2595           reference to instance of type ostype (not function type)
    2596         ... returning nothing
    2597 
    2598         ... with resolved type:
    2599           pointer to function
    2600           ... with parameters
    2601             reference to instance of type ostype (not function type)
    2602           ... returning nothing
    2603 
    2604         Variable Expression: sepOn: pointer to function
    2605         ... with parameters
    2606           reference to instance of type ostype (not function type)
    2607         ... returning
    2608           _Bool
    2609 
    2610         ... with resolved type:
    2611           pointer to function
    2612           ... with parameters
    2613             reference to instance of type ostype (not function type)
    2614           ... returning
    2615             _Bool
    2616 
    2617         Variable Expression: sepOff: pointer to function
    2618         ... with parameters
    2619           reference to instance of type ostype (not function type)
    2620         ... returning
    2621           _Bool
    2622 
    2623         ... with resolved type:
    2624           pointer to function
    2625           ... with parameters
    2626             reference to instance of type ostype (not function type)
    2627           ... returning
    2628             _Bool
    2629 
    2630         Variable Expression: sepGet: pointer to function
    2631         ... with parameters
    2632           reference to instance of type ostype (not function type)
    2633         ... returning
    2634           pointer to const char
    2635 
    2636         ... with resolved type:
    2637           pointer to function
    2638           ... with parameters
    2639             reference to instance of type ostype (not function type)
    2640           ... returning
    2641             pointer to const char
    2642 
    2643         Variable Expression: sepSet: pointer to function
    2644         ... with parameters
    2645           reference to instance of type ostype (not function type)
    2646           pointer to const char
    2647         ... returning nothing
    2648 
    2649         ... with resolved type:
    2650           pointer to function
    2651           ... with parameters
    2652             reference to instance of type ostype (not function type)
    2653             pointer to const char
    2654           ... returning nothing
    2655 
    2656         Variable Expression: sepGetTuple: pointer to function
    2657         ... with parameters
    2658           reference to instance of type ostype (not function type)
    2659         ... returning
    2660           pointer to const char
    2661 
    2662         ... with resolved type:
    2663           pointer to function
    2664           ... with parameters
    2665             reference to instance of type ostype (not function type)
    2666           ... returning
    2667             pointer to const char
    2668 
    2669         Variable Expression: sepSetTuple: pointer to function
    2670         ... with parameters
    2671           reference to instance of type ostype (not function type)
    2672           pointer to const char
    2673         ... returning nothing
    2674 
    2675         ... with resolved type:
    2676           pointer to function
    2677           ... with parameters
    2678             reference to instance of type ostype (not function type)
    2679             pointer to const char
    2680           ... returning nothing
    2681 
    2682         Variable Expression: ends: pointer to function
    2683         ... with parameters
    2684           reference to instance of type ostype (not function type)
    2685         ... returning nothing
    2686 
    2687         ... with resolved type:
    2688           pointer to function
    2689           ... with parameters
    2690             reference to instance of type ostype (not function type)
    2691           ... returning nothing
    2692 
    2693         Variable Expression: fmt: pointer to function
    2694         ... with parameters
    2695           reference to instance of type ostype (not function type)
    2696           pointer to const char
    2697           and a variable number of other arguments
    2698         ... returning
    2699           signed int
    2700 
    2701         ... with resolved type:
    2702           pointer to function
    2703           ... with parameters
    2704             reference to instance of type ostype (not function type)
    2705             pointer to const char
    2706             and a variable number of other arguments
    2707           ... returning
    2708             signed int
     286        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     287        ... with parameters
     288          instance of type ostype (not function type)
     289
     290        ... with resolved type:
     291          reference to const instance of struct basic_ostream_data with body
     292          ... with parameters
     293            instance of type ostype (not function type)
    2709294
    2710295        function
    … …  
    2718303          instance of type [unbound] (not function type)
    2719304          with assertions
    2720           Variable Expression: sepPrt$: pointer to function
    2721           ... with parameters
    2722             reference to instance of type ostype (not function type)
    2723           ... returning
    2724             _Bool
    2725 
    2726           ... with resolved type:
    2727             pointer to function
     305          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     306          ... with parameters
     307            instance of type ostype (not function type)
     308
     309          ... with resolved type:
     310            reference to const instance of struct basic_ostream_data with body
    2728311            ... with parameters
    2729               reference to instance of type [unbound] (not function type)
    2730             ... returning
    2731               _Bool
    2732 
    2733           Variable Expression: sepReset$: pointer to function
    2734           ... with parameters
    2735             reference to instance of type ostype (not function type)
    2736           ... returning nothing
    2737 
    2738           ... with resolved type:
    2739             pointer to function
    2740             ... with parameters
    2741               reference to instance of type [unbound] (not function type)
    2742             ... returning nothing
    2743 
    2744           Variable Expression: sepReset$: pointer to function
    2745           ... with parameters
    2746             reference to instance of type ostype (not function type)
    2747             _Bool
    2748           ... returning nothing
    2749 
    2750           ... with resolved type:
    2751             pointer to function
    2752             ... with parameters
    2753               reference to instance of type [unbound] (not function type)
    2754               _Bool
    2755             ... returning nothing
    2756 
    2757           Variable Expression: sepGetCur$: pointer to function
    2758           ... with parameters
    2759             reference to instance of type ostype (not function type)
    2760           ... returning
    2761             pointer to const char
    2762 
    2763           ... with resolved type:
    2764             pointer to function
    2765             ... with parameters
    2766               reference to instance of type [unbound] (not function type)
    2767             ... returning
    2768               pointer to const char
    2769 
    2770           Variable Expression: sepSetCur$: pointer to function
    2771           ... with parameters
    2772             reference to instance of type ostype (not function type)
    2773             pointer to const char
    2774           ... returning nothing
    2775 
    2776           ... with resolved type:
    2777             pointer to function
    2778             ... with parameters
    2779               reference to instance of type [unbound] (not function type)
    2780               pointer to const char
    2781             ... returning nothing
    2782 
    2783           Variable Expression: getNL$: pointer to function
    2784           ... with parameters
    2785             reference to instance of type ostype (not function type)
    2786           ... returning
    2787             _Bool
    2788 
    2789           ... with resolved type:
    2790             pointer to function
    2791             ... with parameters
    2792               reference to instance of type [unbound] (not function type)
    2793             ... returning
    2794               _Bool
    2795 
    2796           Variable Expression: setNL$: pointer to function
    2797           ... with parameters
    2798             reference to instance of type ostype (not function type)
    2799             _Bool
    2800           ... returning
    2801             _Bool
    2802 
    2803           ... with resolved type:
    2804             pointer to function
    2805             ... with parameters
    2806               reference to instance of type [unbound] (not function type)
    2807               _Bool
    2808             ... returning
    2809               _Bool
    2810 
    2811           Variable Expression: getANL$: pointer to function
    2812           ... with parameters
    2813             reference to instance of type ostype (not function type)
    2814           ... returning
    2815             _Bool
    2816 
    2817           ... with resolved type:
    2818             pointer to function
    2819             ... with parameters
    2820               reference to instance of type [unbound] (not function type)
    2821             ... returning
    2822               _Bool
    2823 
    2824           Variable Expression: setANL$: pointer to function
    2825           ... with parameters
    2826             reference to instance of type ostype (not function type)
    2827             _Bool
    2828           ... returning
    2829             _Bool
    2830 
    2831           ... with resolved type:
    2832             pointer to function
    2833             ... with parameters
    2834               reference to instance of type [unbound] (not function type)
    2835               _Bool
    2836             ... returning
    2837               _Bool
    2838 
    2839           Variable Expression: getPrt$: pointer to function
    2840           ... with parameters
    2841             reference to instance of type ostype (not function type)
    2842           ... returning
    2843             _Bool
    2844 
    2845           ... with resolved type:
    2846             pointer to function
    2847             ... with parameters
    2848               reference to instance of type [unbound] (not function type)
    2849             ... returning
    2850               _Bool
    2851 
    2852           Variable Expression: setPrt$: pointer to function
    2853           ... with parameters
    2854             reference to instance of type ostype (not function type)
    2855             _Bool
    2856           ... returning
    2857             _Bool
    2858 
    2859           ... with resolved type:
    2860             pointer to function
    2861             ... with parameters
    2862               reference to instance of type [unbound] (not function type)
    2863               _Bool
    2864             ... returning
    2865               _Bool
    2866 
    2867           Variable Expression: nlOn: pointer to function
    2868           ... with parameters
    2869             reference to instance of type ostype (not function type)
    2870           ... returning nothing
    2871 
    2872           ... with resolved type:
    2873             pointer to function
    2874             ... with parameters
    2875               reference to instance of type [unbound] (not function type)
    2876             ... returning nothing
    2877 
    2878           Variable Expression: nlOff: pointer to function
    2879           ... with parameters
    2880             reference to instance of type ostype (not function type)
    2881           ... returning nothing
    2882 
    2883           ... with resolved type:
    2884             pointer to function
    2885             ... with parameters
    2886               reference to instance of type [unbound] (not function type)
    2887             ... returning nothing
    2888 
    2889           Variable Expression: sep: pointer to function
    2890           ... with parameters
    2891             reference to instance of type ostype (not function type)
    2892           ... returning nothing
    2893 
    2894           ... with resolved type:
    2895             pointer to function
    2896             ... with parameters
    2897               reference to instance of type [unbound] (not function type)
    2898             ... returning nothing
    2899 
    2900           Variable Expression: nosep: pointer to function
    2901           ... with parameters
    2902             reference to instance of type ostype (not function type)
    2903           ... returning nothing
    2904 
    2905           ... with resolved type:
    2906             pointer to function
    2907             ... with parameters
    2908               reference to instance of type [unbound] (not function type)
    2909             ... returning nothing
    2910 
    2911           Variable Expression: sepOn: pointer to function
    2912           ... with parameters
    2913             reference to instance of type ostype (not function type)
    2914           ... returning
    2915             _Bool
    2916 
    2917           ... with resolved type:
    2918             pointer to function
    2919             ... with parameters
    2920               reference to instance of type [unbound] (not function type)
    2921             ... returning
    2922               _Bool
    2923 
    2924           Variable Expression: sepOff: pointer to function
    2925           ... with parameters
    2926             reference to instance of type ostype (not function type)
    2927           ... returning
    2928             _Bool
    2929 
    2930           ... with resolved type:
    2931             pointer to function
    2932             ... with parameters
    2933               reference to instance of type [unbound] (not function type)
    2934             ... returning
    2935               _Bool
    2936 
    2937           Variable Expression: sepGet: pointer to function
    2938           ... with parameters
    2939             reference to instance of type ostype (not function type)
    2940           ... returning
    2941             pointer to const char
    2942 
    2943           ... with resolved type:
    2944             pointer to function
    2945             ... with parameters
    2946               reference to instance of type [unbound] (not function type)
    2947             ... returning
    2948               pointer to const char
    2949 
    2950           Variable Expression: sepSet: pointer to function
    2951           ... with parameters
    2952             reference to instance of type ostype (not function type)
    2953             pointer to const char
    2954           ... returning nothing
    2955 
    2956           ... with resolved type:
    2957             pointer to function
    2958             ... with parameters
    2959               reference to instance of type [unbound] (not function type)
    2960               pointer to const char
    2961             ... returning nothing
    2962 
    2963           Variable Expression: sepGetTuple: pointer to function
    2964           ... with parameters
    2965             reference to instance of type ostype (not function type)
    2966           ... returning
    2967             pointer to const char
    2968 
    2969           ... with resolved type:
    2970             pointer to function
    2971             ... with parameters
    2972               reference to instance of type [unbound] (not function type)
    2973             ... returning
    2974               pointer to const char
    2975 
    2976           Variable Expression: sepSetTuple: pointer to function
    2977           ... with parameters
    2978             reference to instance of type ostype (not function type)
    2979             pointer to const char
    2980           ... returning nothing
    2981 
    2982           ... with resolved type:
    2983             pointer to function
    2984             ... with parameters
    2985               reference to instance of type [unbound] (not function type)
    2986               pointer to const char
    2987             ... returning nothing
    2988 
    2989           Variable Expression: ends: pointer to function
    2990           ... with parameters
    2991             reference to instance of type ostype (not function type)
    2992           ... returning nothing
    2993 
    2994           ... with resolved type:
    2995             pointer to function
    2996             ... with parameters
    2997               reference to instance of type [unbound] (not function type)
    2998             ... returning nothing
    2999 
    3000           Variable Expression: fmt: pointer to function
    3001           ... with parameters
    3002             reference to instance of type ostype (not function type)
    3003             pointer to const char
    3004             and a variable number of other arguments
    3005           ... returning
    3006             signed int
    3007 
    3008           ... with resolved type:
    3009             pointer to function
    3010             ... with parameters
    3011               reference to instance of type [unbound] (not function type)
    3012               pointer to const char
    3013               and a variable number of other arguments
    3014             ... returning
    3015               signed int
     312              instance of type [unbound] (not function type)
    3016313
    3017314          function
    … …  
    3057354        signed int
    3058355    with inferred parameters 0:
    3059       sepPrt$: function
    3060       ... with parameters
    3061         reference to instance of struct ofstream with body
    3062       ... returning
    3063         _Bool
    3064 
    3065       sepReset$: function
    3066       ... with parameters
    3067         reference to instance of struct ofstream with body
    3068       ... returning nothing
    3069 
    3070       sepReset$: function
    3071       ... with parameters
    3072         reference to instance of struct ofstream with body
    3073         _Bool
    3074       ... returning nothing
    3075 
    3076       sepGetCur$: function
    3077       ... with parameters
    3078         reference to instance of struct ofstream with body
    3079       ... returning
    3080         pointer to const char
    3081 
    3082       sepSetCur$: function
    3083       ... with parameters
    3084         reference to instance of struct ofstream with body
    3085         pointer to const char
    3086       ... returning nothing
    3087 
    3088       getNL$: function
    3089       ... with parameters
    3090         reference to instance of struct ofstream with body
    3091       ... returning
    3092         _Bool
    3093 
    3094       setNL$: function
    3095       ... with parameters
    3096         reference to instance of struct ofstream with body
    3097         _Bool
    3098       ... returning
    3099         _Bool
    3100 
    3101       getANL$: function
    3102       ... with parameters
    3103         reference to instance of struct ofstream with body
    3104       ... returning
    3105         _Bool
    3106 
    3107       setANL$: function
    3108       ... with parameters
    3109         reference to instance of struct ofstream with body
    3110         _Bool
    3111       ... returning
    3112         _Bool
    3113 
    3114       getPrt$: function
    3115       ... with parameters
    3116         reference to instance of struct ofstream with body
    3117       ... returning
    3118         _Bool
    3119 
    3120       setPrt$: function
    3121       ... with parameters
    3122         reference to instance of struct ofstream with body
    3123         _Bool
    3124       ... returning
    3125         _Bool
    3126 
    3127       nlOn: function
    3128       ... with parameters
    3129         reference to instance of struct ofstream with body
    3130       ... returning nothing
    3131 
    3132       nlOff: function
    3133       ... with parameters
    3134         reference to instance of struct ofstream with body
    3135       ... returning nothing
    3136 
    3137       sep: function
    3138       ... with parameters
    3139         reference to instance of struct ofstream with body
    3140       ... returning nothing
    3141 
    3142       nosep: function
    3143       ... with parameters
    3144         reference to instance of struct ofstream with body
    3145       ... returning nothing
    3146 
    3147       sepOn: function
    3148       ... with parameters
    3149         reference to instance of struct ofstream with body
    3150       ... returning
    3151         _Bool
    3152 
    3153       sepOff: function
    3154       ... with parameters
    3155         reference to instance of struct ofstream with body
    3156       ... returning
    3157         _Bool
    3158 
    3159       sepGet: function
    3160       ... with parameters
    3161         reference to instance of struct ofstream with body
    3162       ... returning
    3163         pointer to const char
    3164 
    3165       sepSet: function
    3166       ... with parameters
    3167         reference to instance of struct ofstream with body
    3168         pointer to const char
    3169       ... returning nothing
    3170 
    3171       sepGetTuple: function
    3172       ... with parameters
    3173         reference to instance of struct ofstream with body
    3174       ... returning
    3175         pointer to const char
    3176 
    3177       sepSetTuple: function
    3178       ... with parameters
    3179         reference to instance of struct ofstream with body
    3180         pointer to const char
    3181       ... returning nothing
    3182 
    3183       ends: function
    3184       ... with parameters
    3185         reference to instance of struct ofstream with body
    3186       ... returning nothing
    3187 
    3188       fmt: function
    3189       ... with parameters
    3190         reference to instance of struct ofstream with body
    3191         pointer to const char
    3192         and a variable number of other arguments
    3193       ... returning
    3194         signed int
     356      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     357      ... with parameters
     358        instance of struct ofstream with body
    3195359
    3196360

  • tests/collections/.expect/string-operator-ERR13.txt

    r65bd3c2 rae0c1c3  
    1515
    1616 Alternatives are:
    17 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     17Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    1818      Variable Expression: ?|?: forall
    1919        instance of type ostype (not function type)
    2020        with assertions
    21         Variable Expression: sepPrt$: pointer to function
    22         ... with parameters
    23           reference to instance of type ostype (not function type)
    24         ... returning
    25           _Bool
    26 
    27         ... with resolved type:
    28           pointer to function
    29           ... with parameters
    30             reference to instance of type ostype (not function type)
    31           ... returning
    32             _Bool
    33 
    34         Variable Expression: sepReset$: pointer to function
    35         ... with parameters
    36           reference to instance of type ostype (not function type)
    37         ... returning nothing
    38 
    39         ... with resolved type:
    40           pointer to function
    41           ... with parameters
    42             reference to instance of type ostype (not function type)
    43           ... returning nothing
    44 
    45         Variable Expression: sepReset$: pointer to function
    46         ... with parameters
    47           reference to instance of type ostype (not function type)
    48           _Bool
    49         ... returning nothing
    50 
    51         ... with resolved type:
    52           pointer to function
    53           ... with parameters
    54             reference to instance of type ostype (not function type)
    55             _Bool
    56           ... returning nothing
    57 
    58         Variable Expression: sepGetCur$: pointer to function
    59         ... with parameters
    60           reference to instance of type ostype (not function type)
    61         ... returning
    62           pointer to const char
    63 
    64         ... with resolved type:
    65           pointer to function
    66           ... with parameters
    67             reference to instance of type ostype (not function type)
    68           ... returning
    69             pointer to const char
    70 
    71         Variable Expression: sepSetCur$: pointer to function
    72         ... with parameters
    73           reference to instance of type ostype (not function type)
    74           pointer to const char
    75         ... returning nothing
    76 
    77         ... with resolved type:
    78           pointer to function
    79           ... with parameters
    80             reference to instance of type ostype (not function type)
    81             pointer to const char
    82           ... returning nothing
    83 
    84         Variable Expression: getNL$: pointer to function
    85         ... with parameters
    86           reference to instance of type ostype (not function type)
    87         ... returning
    88           _Bool
    89 
    90         ... with resolved type:
    91           pointer to function
    92           ... with parameters
    93             reference to instance of type ostype (not function type)
    94           ... returning
    95             _Bool
    96 
    97         Variable Expression: setNL$: pointer to function
    98         ... with parameters
    99           reference to instance of type ostype (not function type)
    100           _Bool
    101         ... returning
    102           _Bool
    103 
    104         ... with resolved type:
    105           pointer to function
    106           ... with parameters
    107             reference to instance of type ostype (not function type)
    108             _Bool
    109           ... returning
    110             _Bool
    111 
    112         Variable Expression: getANL$: pointer to function
    113         ... with parameters
    114           reference to instance of type ostype (not function type)
    115         ... returning
    116           _Bool
    117 
    118         ... with resolved type:
    119           pointer to function
    120           ... with parameters
    121             reference to instance of type ostype (not function type)
    122           ... returning
    123             _Bool
    124 
    125         Variable Expression: setANL$: pointer to function
    126         ... with parameters
    127           reference to instance of type ostype (not function type)
    128           _Bool
    129         ... returning
    130           _Bool
    131 
    132         ... with resolved type:
    133           pointer to function
    134           ... with parameters
    135             reference to instance of type ostype (not function type)
    136             _Bool
    137           ... returning
    138             _Bool
    139 
    140         Variable Expression: getPrt$: pointer to function
    141         ... with parameters
    142           reference to instance of type ostype (not function type)
    143         ... returning
    144           _Bool
    145 
    146         ... with resolved type:
    147           pointer to function
    148           ... with parameters
    149             reference to instance of type ostype (not function type)
    150           ... returning
    151             _Bool
    152 
    153         Variable Expression: setPrt$: pointer to function
    154         ... with parameters
    155           reference to instance of type ostype (not function type)
    156           _Bool
    157         ... returning
    158           _Bool
    159 
    160         ... with resolved type:
    161           pointer to function
    162           ... with parameters
    163             reference to instance of type ostype (not function type)
    164             _Bool
    165           ... returning
    166             _Bool
    167 
    168         Variable Expression: nlOn: pointer to function
    169         ... with parameters
    170           reference to instance of type ostype (not function type)
    171         ... returning nothing
    172 
    173         ... with resolved type:
    174           pointer to function
    175           ... with parameters
    176             reference to instance of type ostype (not function type)
    177           ... returning nothing
    178 
    179         Variable Expression: nlOff: pointer to function
    180         ... with parameters
    181           reference to instance of type ostype (not function type)
    182         ... returning nothing
    183 
    184         ... with resolved type:
    185           pointer to function
    186           ... with parameters
    187             reference to instance of type ostype (not function type)
    188           ... returning nothing
    189 
    190         Variable Expression: sep: pointer to function
    191         ... with parameters
    192           reference to instance of type ostype (not function type)
    193         ... returning nothing
    194 
    195         ... with resolved type:
    196           pointer to function
    197           ... with parameters
    198             reference to instance of type ostype (not function type)
    199           ... returning nothing
    200 
    201         Variable Expression: nosep: pointer to function
    202         ... with parameters
    203           reference to instance of type ostype (not function type)
    204         ... returning nothing
    205 
    206         ... with resolved type:
    207           pointer to function
    208           ... with parameters
    209             reference to instance of type ostype (not function type)
    210           ... returning nothing
    211 
    212         Variable Expression: sepOn: pointer to function
    213         ... with parameters
    214           reference to instance of type ostype (not function type)
    215         ... returning
    216           _Bool
    217 
    218         ... with resolved type:
    219           pointer to function
    220           ... with parameters
    221             reference to instance of type ostype (not function type)
    222           ... returning
    223             _Bool
    224 
    225         Variable Expression: sepOff: pointer to function
    226         ... with parameters
    227           reference to instance of type ostype (not function type)
    228         ... returning
    229           _Bool
    230 
    231         ... with resolved type:
    232           pointer to function
    233           ... with parameters
    234             reference to instance of type ostype (not function type)
    235           ... returning
    236             _Bool
    237 
    238         Variable Expression: sepGet: pointer to function
    239         ... with parameters
    240           reference to instance of type ostype (not function type)
    241         ... returning
    242           pointer to const char
    243 
    244         ... with resolved type:
    245           pointer to function
    246           ... with parameters
    247             reference to instance of type ostype (not function type)
    248           ... returning
    249             pointer to const char
    250 
    251         Variable Expression: sepSet: pointer to function
    252         ... with parameters
    253           reference to instance of type ostype (not function type)
    254           pointer to const char
    255         ... returning nothing
    256 
    257         ... with resolved type:
    258           pointer to function
    259           ... with parameters
    260             reference to instance of type ostype (not function type)
    261             pointer to const char
    262           ... returning nothing
    263 
    264         Variable Expression: sepGetTuple: pointer to function
    265         ... with parameters
    266           reference to instance of type ostype (not function type)
    267         ... returning
    268           pointer to const char
    269 
    270         ... with resolved type:
    271           pointer to function
    272           ... with parameters
    273             reference to instance of type ostype (not function type)
    274           ... returning
    275             pointer to const char
    276 
    277         Variable Expression: sepSetTuple: pointer to function
    278         ... with parameters
    279           reference to instance of type ostype (not function type)
    280           pointer to const char
    281         ... returning nothing
    282 
    283         ... with resolved type:
    284           pointer to function
    285           ... with parameters
    286             reference to instance of type ostype (not function type)
    287             pointer to const char
    288           ... returning nothing
    289 
    290         Variable Expression: ends: pointer to function
    291         ... with parameters
    292           reference to instance of type ostype (not function type)
    293         ... returning nothing
    294 
    295         ... with resolved type:
    296           pointer to function
    297           ... with parameters
    298             reference to instance of type ostype (not function type)
    299           ... returning nothing
    300 
    301         Variable Expression: fmt: pointer to function
    302         ... with parameters
    303           reference to instance of type ostype (not function type)
    304           pointer to const char
    305           and a variable number of other arguments
    306         ... returning
    307           signed int
    308 
    309         ... with resolved type:
    310           pointer to function
    311           ... with parameters
    312             reference to instance of type ostype (not function type)
    313             pointer to const char
    314             and a variable number of other arguments
    315           ... returning
    316             signed int
     21        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     22        ... with parameters
     23          instance of type ostype (not function type)
     24
     25        ... with resolved type:
     26          reference to const instance of struct basic_ostream_data with body
     27          ... with parameters
     28            instance of type ostype (not function type)
    31729
    31830        function
    … …  
    32739          instance of type [unbound] (not function type)
    32840          with assertions
    329           Variable Expression: sepPrt$: pointer to function
    330           ... with parameters
    331             reference to instance of type ostype (not function type)
    332           ... returning
    333             _Bool
    334 
    335           ... with resolved type:
    336             pointer to function
     41          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     42          ... with parameters
     43            instance of type ostype (not function type)
     44
     45          ... with resolved type:
     46            reference to const instance of struct basic_ostream_data with body
    33747            ... with parameters
    338               reference to instance of type [unbound] (not function type)
    339             ... returning
    340               _Bool
    341 
    342           Variable Expression: sepReset$: pointer to function
    343           ... with parameters
    344             reference to instance of type ostype (not function type)
    345           ... returning nothing
    346 
    347           ... with resolved type:
    348             pointer to function
    349             ... with parameters
    350               reference to instance of type [unbound] (not function type)
    351             ... returning nothing
    352 
    353           Variable Expression: sepReset$: pointer to function
    354           ... with parameters
    355             reference to instance of type ostype (not function type)
    356             _Bool
    357           ... returning nothing
    358 
    359           ... with resolved type:
    360             pointer to function
    361             ... with parameters
    362               reference to instance of type [unbound] (not function type)
    363               _Bool
    364             ... returning nothing
    365 
    366           Variable Expression: sepGetCur$: pointer to function
    367           ... with parameters
    368             reference to instance of type ostype (not function type)
    369           ... returning
    370             pointer to const char
    371 
    372           ... with resolved type:
    373             pointer to function
    374             ... with parameters
    375               reference to instance of type [unbound] (not function type)
    376             ... returning
    377               pointer to const char
    378 
    379           Variable Expression: sepSetCur$: pointer to function
    380           ... with parameters
    381             reference to instance of type ostype (not function type)
    382             pointer to const char
    383           ... returning nothing
    384 
    385           ... with resolved type:
    386             pointer to function
    387             ... with parameters
    388               reference to instance of type [unbound] (not function type)
    389               pointer to const char
    390             ... returning nothing
    391 
    392           Variable Expression: getNL$: pointer to function
    393           ... with parameters
    394             reference to instance of type ostype (not function type)
    395           ... returning
    396             _Bool
    397 
    398           ... with resolved type:
    399             pointer to function
    400             ... with parameters
    401               reference to instance of type [unbound] (not function type)
    402             ... returning
    403               _Bool
    404 
    405           Variable Expression: setNL$: pointer to function
    406           ... with parameters
    407             reference to instance of type ostype (not function type)
    408             _Bool
    409           ... returning
    410             _Bool
    411 
    412           ... with resolved type:
    413             pointer to function
    414             ... with parameters
    415               reference to instance of type [unbound] (not function type)
    416               _Bool
    417             ... returning
    418               _Bool
    419 
    420           Variable Expression: getANL$: pointer to function
    421           ... with parameters
    422             reference to instance of type ostype (not function type)
    423           ... returning
    424             _Bool
    425 
    426           ... with resolved type:
    427             pointer to function
    428             ... with parameters
    429               reference to instance of type [unbound] (not function type)
    430             ... returning
    431               _Bool
    432 
    433           Variable Expression: setANL$: pointer to function
    434           ... with parameters
    435             reference to instance of type ostype (not function type)
    436             _Bool
    437           ... returning
    438             _Bool
    439 
    440           ... with resolved type:
    441             pointer to function
    442             ... with parameters
    443               reference to instance of type [unbound] (not function type)
    444               _Bool
    445             ... returning
    446               _Bool
    447 
    448           Variable Expression: getPrt$: pointer to function
    449           ... with parameters
    450             reference to instance of type ostype (not function type)
    451           ... returning
    452             _Bool
    453 
    454           ... with resolved type:
    455             pointer to function
    456             ... with parameters
    457               reference to instance of type [unbound] (not function type)
    458             ... returning
    459               _Bool
    460 
    461           Variable Expression: setPrt$: pointer to function
    462           ... with parameters
    463             reference to instance of type ostype (not function type)
    464             _Bool
    465           ... returning
    466             _Bool
    467 
    468           ... with resolved type:
    469             pointer to function
    470             ... with parameters
    471               reference to instance of type [unbound] (not function type)
    472               _Bool
    473             ... returning
    474               _Bool
    475 
    476           Variable Expression: nlOn: pointer to function
    477           ... with parameters
    478             reference to instance of type ostype (not function type)
    479           ... returning nothing
    480 
    481           ... with resolved type:
    482             pointer to function
    483             ... with parameters
    484               reference to instance of type [unbound] (not function type)
    485             ... returning nothing
    486 
    487           Variable Expression: nlOff: pointer to function
    488           ... with parameters
    489             reference to instance of type ostype (not function type)
    490           ... returning nothing
    491 
    492           ... with resolved type:
    493             pointer to function
    494             ... with parameters
    495               reference to instance of type [unbound] (not function type)
    496             ... returning nothing
    497 
    498           Variable Expression: sep: pointer to function
    499           ... with parameters
    500             reference to instance of type ostype (not function type)
    501           ... returning nothing
    502 
    503           ... with resolved type:
    504             pointer to function
    505             ... with parameters
    506               reference to instance of type [unbound] (not function type)
    507             ... returning nothing
    508 
    509           Variable Expression: nosep: pointer to function
    510           ... with parameters
    511             reference to instance of type ostype (not function type)
    512           ... returning nothing
    513 
    514           ... with resolved type:
    515             pointer to function
    516             ... with parameters
    517               reference to instance of type [unbound] (not function type)
    518             ... returning nothing
    519 
    520           Variable Expression: sepOn: pointer to function
    521           ... with parameters
    522             reference to instance of type ostype (not function type)
    523           ... returning
    524             _Bool
    525 
    526           ... with resolved type:
    527             pointer to function
    528             ... with parameters
    529               reference to instance of type [unbound] (not function type)
    530             ... returning
    531               _Bool
    532 
    533           Variable Expression: sepOff: pointer to function
    534           ... with parameters
    535             reference to instance of type ostype (not function type)
    536           ... returning
    537             _Bool
    538 
    539           ... with resolved type:
    540             pointer to function
    541             ... with parameters
    542               reference to instance of type [unbound] (not function type)
    543             ... returning
    544               _Bool
    545 
    546           Variable Expression: sepGet: pointer to function
    547           ... with parameters
    548             reference to instance of type ostype (not function type)
    549           ... returning
    550             pointer to const char
    551 
    552           ... with resolved type:
    553             pointer to function
    554             ... with parameters
    555               reference to instance of type [unbound] (not function type)
    556             ... returning
    557               pointer to const char
    558 
    559           Variable Expression: sepSet: pointer to function
    560           ... with parameters
    561             reference to instance of type ostype (not function type)
    562             pointer to const char
    563           ... returning nothing
    564 
    565           ... with resolved type:
    566             pointer to function
    567             ... with parameters
    568               reference to instance of type [unbound] (not function type)
    569               pointer to const char
    570             ... returning nothing
    571 
    572           Variable Expression: sepGetTuple: pointer to function
    573           ... with parameters
    574             reference to instance of type ostype (not function type)
    575           ... returning
    576             pointer to const char
    577 
    578           ... with resolved type:
    579             pointer to function
    580             ... with parameters
    581               reference to instance of type [unbound] (not function type)
    582             ... returning
    583               pointer to const char
    584 
    585           Variable Expression: sepSetTuple: pointer to function
    586           ... with parameters
    587             reference to instance of type ostype (not function type)
    588             pointer to const char
    589           ... returning nothing
    590 
    591           ... with resolved type:
    592             pointer to function
    593             ... with parameters
    594               reference to instance of type [unbound] (not function type)
    595               pointer to const char
    596             ... returning nothing
    597 
    598           Variable Expression: ends: pointer to function
    599           ... with parameters
    600             reference to instance of type ostype (not function type)
    601           ... returning nothing
    602 
    603           ... with resolved type:
    604             pointer to function
    605             ... with parameters
    606               reference to instance of type [unbound] (not function type)
    607             ... returning nothing
    608 
    609           Variable Expression: fmt: pointer to function
    610           ... with parameters
    611             reference to instance of type ostype (not function type)
    612             pointer to const char
    613             and a variable number of other arguments
    614           ... returning
    615             signed int
    616 
    617           ... with resolved type:
    618             pointer to function
    619             ... with parameters
    620               reference to instance of type [unbound] (not function type)
    621               pointer to const char
    622               and a variable number of other arguments
    623             ... returning
    624               signed int
     48              instance of type [unbound] (not function type)
    62549
    62650          function
    … …  
    66791        instance of struct string with body
    66892    with inferred parameters 0:
    669       sepPrt$: function
    670       ... with parameters
    671         reference to instance of struct ofstream with body
    672       ... returning
    673         _Bool
    674 
    675       sepReset$: function
    676       ... with parameters
    677         reference to instance of struct ofstream with body
    678       ... returning nothing
    679 
    680       sepReset$: function
    681       ... with parameters
    682         reference to instance of struct ofstream with body
    683         _Bool
    684       ... returning nothing
    685 
    686       sepGetCur$: function
    687       ... with parameters
    688         reference to instance of struct ofstream with body
    689       ... returning
    690         pointer to const char
    691 
    692       sepSetCur$: function
    693       ... with parameters
    694         reference to instance of struct ofstream with body
    695         pointer to const char
    696       ... returning nothing
    697 
    698       getNL$: function
    699       ... with parameters
    700         reference to instance of struct ofstream with body
    701       ... returning
    702         _Bool
    703 
    704       setNL$: function
    705       ... with parameters
    706         reference to instance of struct ofstream with body
    707         _Bool
    708       ... returning
    709         _Bool
    710 
    711       getANL$: function
    712       ... with parameters
    713         reference to instance of struct ofstream with body
    714       ... returning
    715         _Bool
    716 
    717       setANL$: function
    718       ... with parameters
    719         reference to instance of struct ofstream with body
    720         _Bool
    721       ... returning
    722         _Bool
    723 
    724       getPrt$: function
    725       ... with parameters
    726         reference to instance of struct ofstream with body
    727       ... returning
    728         _Bool
    729 
    730       setPrt$: function
    731       ... with parameters
    732         reference to instance of struct ofstream with body
    733         _Bool
    734       ... returning
    735         _Bool
    736 
    737       nlOn: function
    738       ... with parameters
    739         reference to instance of struct ofstream with body
    740       ... returning nothing
    741 
    742       nlOff: function
    743       ... with parameters
    744         reference to instance of struct ofstream with body
    745       ... returning nothing
    746 
    747       sep: function
    748       ... with parameters
    749         reference to instance of struct ofstream with body
    750       ... returning nothing
    751 
    752       nosep: function
    753       ... with parameters
    754         reference to instance of struct ofstream with body
    755       ... returning nothing
    756 
    757       sepOn: function
    758       ... with parameters
    759         reference to instance of struct ofstream with body
    760       ... returning
    761         _Bool
    762 
    763       sepOff: function
    764       ... with parameters
    765         reference to instance of struct ofstream with body
    766       ... returning
    767         _Bool
    768 
    769       sepGet: function
    770       ... with parameters
    771         reference to instance of struct ofstream with body
    772       ... returning
    773         pointer to const char
    774 
    775       sepSet: function
    776       ... with parameters
    777         reference to instance of struct ofstream with body
    778         pointer to const char
    779       ... returning nothing
    780 
    781       sepGetTuple: function
    782       ... with parameters
    783         reference to instance of struct ofstream with body
    784       ... returning
    785         pointer to const char
    786 
    787       sepSetTuple: function
    788       ... with parameters
    789         reference to instance of struct ofstream with body
    790         pointer to const char
    791       ... returning nothing
    792 
    793       ends: function
    794       ... with parameters
    795         reference to instance of struct ofstream with body
    796       ... returning nothing
    797 
    798       fmt: function
    799       ... with parameters
    800         reference to instance of struct ofstream with body
    801         pointer to const char
    802         and a variable number of other arguments
    803       ... returning
    804         signed int
     93      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     94      ... with parameters
     95        instance of struct ofstream with body
    80596
    80697
    … …  
    813104
    814105
    815 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     106Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    816107      Variable Expression: ?|?: forall
    817108        instance of type ostype (not function type)
    818109        with assertions
    819         Variable Expression: sepPrt$: pointer to function
    820         ... with parameters
    821           reference to instance of type ostype (not function type)
    822         ... returning
    823           _Bool
    824 
    825         ... with resolved type:
    826           pointer to function
    827           ... with parameters
    828             reference to instance of type ostype (not function type)
    829           ... returning
    830             _Bool
    831 
    832         Variable Expression: sepReset$: pointer to function
    833         ... with parameters
    834           reference to instance of type ostype (not function type)
    835         ... returning nothing
    836 
    837         ... with resolved type:
    838           pointer to function
    839           ... with parameters
    840             reference to instance of type ostype (not function type)
    841           ... returning nothing
    842 
    843         Variable Expression: sepReset$: pointer to function
    844         ... with parameters
    845           reference to instance of type ostype (not function type)
    846           _Bool
    847         ... returning nothing
    848 
    849         ... with resolved type:
    850           pointer to function
    851           ... with parameters
    852             reference to instance of type ostype (not function type)
    853             _Bool
    854           ... returning nothing
    855 
    856         Variable Expression: sepGetCur$: pointer to function
    857         ... with parameters
    858           reference to instance of type ostype (not function type)
    859         ... returning
    860           pointer to const char
    861 
    862         ... with resolved type:
    863           pointer to function
    864           ... with parameters
    865             reference to instance of type ostype (not function type)
    866           ... returning
    867             pointer to const char
    868 
    869         Variable Expression: sepSetCur$: pointer to function
    870         ... with parameters
    871           reference to instance of type ostype (not function type)
    872           pointer to const char
    873         ... returning nothing
    874 
    875         ... with resolved type:
    876           pointer to function
    877           ... with parameters
    878             reference to instance of type ostype (not function type)
    879             pointer to const char
    880           ... returning nothing
    881 
    882         Variable Expression: getNL$: pointer to function
    883         ... with parameters
    884           reference to instance of type ostype (not function type)
    885         ... returning
    886           _Bool
    887 
    888         ... with resolved type:
    889           pointer to function
    890           ... with parameters
    891             reference to instance of type ostype (not function type)
    892           ... returning
    893             _Bool
    894 
    895         Variable Expression: setNL$: pointer to function
    896         ... with parameters
    897           reference to instance of type ostype (not function type)
    898           _Bool
    899         ... returning
    900           _Bool
    901 
    902         ... with resolved type:
    903           pointer to function
    904           ... with parameters
    905             reference to instance of type ostype (not function type)
    906             _Bool
    907           ... returning
    908             _Bool
    909 
    910         Variable Expression: getANL$: pointer to function
    911         ... with parameters
    912           reference to instance of type ostype (not function type)
    913         ... returning
    914           _Bool
    915 
    916         ... with resolved type:
    917           pointer to function
    918           ... with parameters
    919             reference to instance of type ostype (not function type)
    920           ... returning
    921             _Bool
    922 
    923         Variable Expression: setANL$: pointer to function
    924         ... with parameters
    925           reference to instance of type ostype (not function type)
    926           _Bool
    927         ... returning
    928           _Bool
    929 
    930         ... with resolved type:
    931           pointer to function
    932           ... with parameters
    933             reference to instance of type ostype (not function type)
    934             _Bool
    935           ... returning
    936             _Bool
    937 
    938         Variable Expression: getPrt$: pointer to function
    939         ... with parameters
    940           reference to instance of type ostype (not function type)
    941         ... returning
    942           _Bool
    943 
    944         ... with resolved type:
    945           pointer to function
    946           ... with parameters
    947             reference to instance of type ostype (not function type)
    948           ... returning
    949             _Bool
    950 
    951         Variable Expression: setPrt$: pointer to function
    952         ... with parameters
    953           reference to instance of type ostype (not function type)
    954           _Bool
    955         ... returning
    956           _Bool
    957 
    958         ... with resolved type:
    959           pointer to function
    960           ... with parameters
    961             reference to instance of type ostype (not function type)
    962             _Bool
    963           ... returning
    964             _Bool
    965 
    966         Variable Expression: nlOn: pointer to function
    967         ... with parameters
    968           reference to instance of type ostype (not function type)
    969         ... returning nothing
    970 
    971         ... with resolved type:
    972           pointer to function
    973           ... with parameters
    974             reference to instance of type ostype (not function type)
    975           ... returning nothing
    976 
    977         Variable Expression: nlOff: pointer to function
    978         ... with parameters
    979           reference to instance of type ostype (not function type)
    980         ... returning nothing
    981 
    982         ... with resolved type:
    983           pointer to function
    984           ... with parameters
    985             reference to instance of type ostype (not function type)
    986           ... returning nothing
    987 
    988         Variable Expression: sep: pointer to function
    989         ... with parameters
    990           reference to instance of type ostype (not function type)
    991         ... returning nothing
    992 
    993         ... with resolved type:
    994           pointer to function
    995           ... with parameters
    996             reference to instance of type ostype (not function type)
    997           ... returning nothing
    998 
    999         Variable Expression: nosep: pointer to function
    1000         ... with parameters
    1001           reference to instance of type ostype (not function type)
    1002         ... returning nothing
    1003 
    1004         ... with resolved type:
    1005           pointer to function
    1006           ... with parameters
    1007             reference to instance of type ostype (not function type)
    1008           ... returning nothing
    1009 
    1010         Variable Expression: sepOn: pointer to function
    1011         ... with parameters
    1012           reference to instance of type ostype (not function type)
    1013         ... returning
    1014           _Bool
    1015 
    1016         ... with resolved type:
    1017           pointer to function
    1018           ... with parameters
    1019             reference to instance of type ostype (not function type)
    1020           ... returning
    1021             _Bool
    1022 
    1023         Variable Expression: sepOff: pointer to function
    1024         ... with parameters
    1025           reference to instance of type ostype (not function type)
    1026         ... returning
    1027           _Bool
    1028 
    1029         ... with resolved type:
    1030           pointer to function
    1031           ... with parameters
    1032             reference to instance of type ostype (not function type)
    1033           ... returning
    1034             _Bool
    1035 
    1036         Variable Expression: sepGet: pointer to function
    1037         ... with parameters
    1038           reference to instance of type ostype (not function type)
    1039         ... returning
    1040           pointer to const char
    1041 
    1042         ... with resolved type:
    1043           pointer to function
    1044           ... with parameters
    1045             reference to instance of type ostype (not function type)
    1046           ... returning
    1047             pointer to const char
    1048 
    1049         Variable Expression: sepSet: pointer to function
    1050         ... with parameters
    1051           reference to instance of type ostype (not function type)
    1052           pointer to const char
    1053         ... returning nothing
    1054 
    1055         ... with resolved type:
    1056           pointer to function
    1057           ... with parameters
    1058             reference to instance of type ostype (not function type)
    1059             pointer to const char
    1060           ... returning nothing
    1061 
    1062         Variable Expression: sepGetTuple: pointer to function
    1063         ... with parameters
    1064           reference to instance of type ostype (not function type)
    1065         ... returning
    1066           pointer to const char
    1067 
    1068         ... with resolved type:
    1069           pointer to function
    1070           ... with parameters
    1071             reference to instance of type ostype (not function type)
    1072           ... returning
    1073             pointer to const char
    1074 
    1075         Variable Expression: sepSetTuple: pointer to function
    1076         ... with parameters
    1077           reference to instance of type ostype (not function type)
    1078           pointer to const char
    1079         ... returning nothing
    1080 
    1081         ... with resolved type:
    1082           pointer to function
    1083           ... with parameters
    1084             reference to instance of type ostype (not function type)
    1085             pointer to const char
    1086           ... returning nothing
    1087 
    1088         Variable Expression: ends: pointer to function
    1089         ... with parameters
    1090           reference to instance of type ostype (not function type)
    1091         ... returning nothing
    1092 
    1093         ... with resolved type:
    1094           pointer to function
    1095           ... with parameters
    1096             reference to instance of type ostype (not function type)
    1097           ... returning nothing
    1098 
    1099         Variable Expression: fmt: pointer to function
    1100         ... with parameters
    1101           reference to instance of type ostype (not function type)
    1102           pointer to const char
    1103           and a variable number of other arguments
    1104         ... returning
    1105           signed int
    1106 
    1107         ... with resolved type:
    1108           pointer to function
    1109           ... with parameters
    1110             reference to instance of type ostype (not function type)
    1111             pointer to const char
    1112             and a variable number of other arguments
    1113           ... returning
    1114             signed int
     110        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     111        ... with parameters
     112          instance of type ostype (not function type)
     113
     114        ... with resolved type:
     115          reference to const instance of struct basic_ostream_data with body
     116          ... with parameters
     117            instance of type ostype (not function type)
    1115118
    1116119        function
    … …  
    1124127          instance of type [unbound] (not function type)
    1125128          with assertions
    1126           Variable Expression: sepPrt$: pointer to function
    1127           ... with parameters
    1128             reference to instance of type ostype (not function type)
    1129           ... returning
    1130             _Bool
    1131 
    1132           ... with resolved type:
    1133             pointer to function
     129          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     130          ... with parameters
     131            instance of type ostype (not function type)
     132
     133          ... with resolved type:
     134            reference to const instance of struct basic_ostream_data with body
    1134135            ... with parameters
    1135               reference to instance of type [unbound] (not function type)
    1136             ... returning
    1137               _Bool
    1138 
    1139           Variable Expression: sepReset$: pointer to function
    1140           ... with parameters
    1141             reference to instance of type ostype (not function type)
    1142           ... returning nothing
    1143 
    1144           ... with resolved type:
    1145             pointer to function
    1146             ... with parameters
    1147               reference to instance of type [unbound] (not function type)
    1148             ... returning nothing
    1149 
    1150           Variable Expression: sepReset$: pointer to function
    1151           ... with parameters
    1152             reference to instance of type ostype (not function type)
    1153             _Bool
    1154           ... returning nothing
    1155 
    1156           ... with resolved type:
    1157             pointer to function
    1158             ... with parameters
    1159               reference to instance of type [unbound] (not function type)
    1160               _Bool
    1161             ... returning nothing
    1162 
    1163           Variable Expression: sepGetCur$: pointer to function
    1164           ... with parameters
    1165             reference to instance of type ostype (not function type)
    1166           ... returning
    1167             pointer to const char
    1168 
    1169           ... with resolved type:
    1170             pointer to function
    1171             ... with parameters
    1172               reference to instance of type [unbound] (not function type)
    1173             ... returning
    1174               pointer to const char
    1175 
    1176           Variable Expression: sepSetCur$: pointer to function
    1177           ... with parameters
    1178             reference to instance of type ostype (not function type)
    1179             pointer to const char
    1180           ... returning nothing
    1181 
    1182           ... with resolved type:
    1183             pointer to function
    1184             ... with parameters
    1185               reference to instance of type [unbound] (not function type)
    1186               pointer to const char
    1187             ... returning nothing
    1188 
    1189           Variable Expression: getNL$: pointer to function
    1190           ... with parameters
    1191             reference to instance of type ostype (not function type)
    1192           ... returning
    1193             _Bool
    1194 
    1195           ... with resolved type:
    1196             pointer to function
    1197             ... with parameters
    1198               reference to instance of type [unbound] (not function type)
    1199             ... returning
    1200               _Bool
    1201 
    1202           Variable Expression: setNL$: pointer to function
    1203           ... with parameters
    1204             reference to instance of type ostype (not function type)
    1205             _Bool
    1206           ... returning
    1207             _Bool
    1208 
    1209           ... with resolved type:
    1210             pointer to function
    1211             ... with parameters
    1212               reference to instance of type [unbound] (not function type)
    1213               _Bool
    1214             ... returning
    1215               _Bool
    1216 
    1217           Variable Expression: getANL$: pointer to function
    1218           ... with parameters
    1219             reference to instance of type ostype (not function type)
    1220           ... returning
    1221             _Bool
    1222 
    1223           ... with resolved type:
    1224             pointer to function
    1225             ... with parameters
    1226               reference to instance of type [unbound] (not function type)
    1227             ... returning
    1228               _Bool
    1229 
    1230           Variable Expression: setANL$: pointer to function
    1231           ... with parameters
    1232             reference to instance of type ostype (not function type)
    1233             _Bool
    1234           ... returning
    1235             _Bool
    1236 
    1237           ... with resolved type:
    1238             pointer to function
    1239             ... with parameters
    1240               reference to instance of type [unbound] (not function type)
    1241               _Bool
    1242             ... returning
    1243               _Bool
    1244 
    1245           Variable Expression: getPrt$: pointer to function
    1246           ... with parameters
    1247             reference to instance of type ostype (not function type)
    1248           ... returning
    1249             _Bool
    1250 
    1251           ... with resolved type:
    1252             pointer to function
    1253             ... with parameters
    1254               reference to instance of type [unbound] (not function type)
    1255             ... returning
    1256               _Bool
    1257 
    1258           Variable Expression: setPrt$: pointer to function
    1259           ... with parameters
    1260             reference to instance of type ostype (not function type)
    1261             _Bool
    1262           ... returning
    1263             _Bool
    1264 
    1265           ... with resolved type:
    1266             pointer to function
    1267             ... with parameters
    1268               reference to instance of type [unbound] (not function type)
    1269               _Bool
    1270             ... returning
    1271               _Bool
    1272 
    1273           Variable Expression: nlOn: pointer to function
    1274           ... with parameters
    1275             reference to instance of type ostype (not function type)
    1276           ... returning nothing
    1277 
    1278           ... with resolved type:
    1279             pointer to function
    1280             ... with parameters
    1281               reference to instance of type [unbound] (not function type)
    1282             ... returning nothing
    1283 
    1284           Variable Expression: nlOff: pointer to function
    1285           ... with parameters
    1286             reference to instance of type ostype (not function type)
    1287           ... returning nothing
    1288 
    1289           ... with resolved type:
    1290             pointer to function
    1291             ... with parameters
    1292               reference to instance of type [unbound] (not function type)
    1293             ... returning nothing
    1294 
    1295           Variable Expression: sep: pointer to function
    1296           ... with parameters
    1297             reference to instance of type ostype (not function type)
    1298           ... returning nothing
    1299 
    1300           ... with resolved type:
    1301             pointer to function
    1302             ... with parameters
    1303               reference to instance of type [unbound] (not function type)
    1304             ... returning nothing
    1305 
    1306           Variable Expression: nosep: pointer to function
    1307           ... with parameters
    1308             reference to instance of type ostype (not function type)
    1309           ... returning nothing
    1310 
    1311           ... with resolved type:
    1312             pointer to function
    1313             ... with parameters
    1314               reference to instance of type [unbound] (not function type)
    1315             ... returning nothing
    1316 
    1317           Variable Expression: sepOn: pointer to function
    1318           ... with parameters
    1319             reference to instance of type ostype (not function type)
    1320           ... returning
    1321             _Bool
    1322 
    1323           ... with resolved type:
    1324             pointer to function
    1325             ... with parameters
    1326               reference to instance of type [unbound] (not function type)
    1327             ... returning
    1328               _Bool
    1329 
    1330           Variable Expression: sepOff: pointer to function
    1331           ... with parameters
    1332             reference to instance of type ostype (not function type)
    1333           ... returning
    1334             _Bool
    1335 
    1336           ... with resolved type:
    1337             pointer to function
    1338             ... with parameters
    1339               reference to instance of type [unbound] (not function type)
    1340             ... returning
    1341               _Bool
    1342 
    1343           Variable Expression: sepGet: pointer to function
    1344           ... with parameters
    1345             reference to instance of type ostype (not function type)
    1346           ... returning
    1347             pointer to const char
    1348 
    1349           ... with resolved type:
    1350             pointer to function
    1351             ... with parameters
    1352               reference to instance of type [unbound] (not function type)
    1353             ... returning
    1354               pointer to const char
    1355 
    1356           Variable Expression: sepSet: pointer to function
    1357           ... with parameters
    1358             reference to instance of type ostype (not function type)
    1359             pointer to const char
    1360           ... returning nothing
    1361 
    1362           ... with resolved type:
    1363             pointer to function
    1364             ... with parameters
    1365               reference to instance of type [unbound] (not function type)
    1366               pointer to const char
    1367             ... returning nothing
    1368 
    1369           Variable Expression: sepGetTuple: pointer to function
    1370           ... with parameters
    1371             reference to instance of type ostype (not function type)
    1372           ... returning
    1373             pointer to const char
    1374 
    1375           ... with resolved type:
    1376             pointer to function
    1377             ... with parameters
    1378               reference to instance of type [unbound] (not function type)
    1379             ... returning
    1380               pointer to const char
    1381 
    1382           Variable Expression: sepSetTuple: pointer to function
    1383           ... with parameters
    1384             reference to instance of type ostype (not function type)
    1385             pointer to const char
    1386           ... returning nothing
    1387 
    1388           ... with resolved type:
    1389             pointer to function
    1390             ... with parameters
    1391               reference to instance of type [unbound] (not function type)
    1392               pointer to const char
    1393             ... returning nothing
    1394 
    1395           Variable Expression: ends: pointer to function
    1396           ... with parameters
    1397             reference to instance of type ostype (not function type)
    1398           ... returning nothing
    1399 
    1400           ... with resolved type:
    1401             pointer to function
    1402             ... with parameters
    1403               reference to instance of type [unbound] (not function type)
    1404             ... returning nothing
    1405 
    1406           Variable Expression: fmt: pointer to function
    1407           ... with parameters
    1408             reference to instance of type ostype (not function type)
    1409             pointer to const char
    1410             and a variable number of other arguments
    1411           ... returning
    1412             signed int
    1413 
    1414           ... with resolved type:
    1415             pointer to function
    1416             ... with parameters
    1417               reference to instance of type [unbound] (not function type)
    1418               pointer to const char
    1419               and a variable number of other arguments
    1420             ... returning
    1421               signed int
     136              instance of type [unbound] (not function type)
    1422137
    1423138          function
    … …  
    1463178        instance of struct string with body
    1464179    with inferred parameters 0:
    1465       sepPrt$: function
    1466       ... with parameters
    1467         reference to instance of struct ofstream with body
    1468       ... returning
    1469         _Bool
    1470 
    1471       sepReset$: function
    1472       ... with parameters
    1473         reference to instance of struct ofstream with body
    1474       ... returning nothing
    1475 
    1476       sepReset$: function
    1477       ... with parameters
    1478         reference to instance of struct ofstream with body
    1479         _Bool
    1480       ... returning nothing
    1481 
    1482       sepGetCur$: function
    1483       ... with parameters
    1484         reference to instance of struct ofstream with body
    1485       ... returning
    1486         pointer to const char
    1487 
    1488       sepSetCur$: function
    1489       ... with parameters
    1490         reference to instance of struct ofstream with body
    1491         pointer to const char
    1492       ... returning nothing
    1493 
    1494       getNL$: function
    1495       ... with parameters
    1496         reference to instance of struct ofstream with body
    1497       ... returning
    1498         _Bool
    1499 
    1500       setNL$: function
    1501       ... with parameters
    1502         reference to instance of struct ofstream with body
    1503         _Bool
    1504       ... returning
    1505         _Bool
    1506 
    1507       getANL$: function
    1508       ... with parameters
    1509         reference to instance of struct ofstream with body
    1510       ... returning
    1511         _Bool
    1512 
    1513       setANL$: function
    1514       ... with parameters
    1515         reference to instance of struct ofstream with body
    1516         _Bool
    1517       ... returning
    1518         _Bool
    1519 
    1520       getPrt$: function
    1521       ... with parameters
    1522         reference to instance of struct ofstream with body
    1523       ... returning
    1524         _Bool
    1525 
    1526       setPrt$: function
    1527       ... with parameters
    1528         reference to instance of struct ofstream with body
    1529         _Bool
    1530       ... returning
    1531         _Bool
    1532 
    1533       nlOn: function
    1534       ... with parameters
    1535         reference to instance of struct ofstream with body
    1536       ... returning nothing
    1537 
    1538       nlOff: function
    1539       ... with parameters
    1540         reference to instance of struct ofstream with body
    1541       ... returning nothing
    1542 
    1543       sep: function
    1544       ... with parameters
    1545         reference to instance of struct ofstream with body
    1546       ... returning nothing
    1547 
    1548       nosep: function
    1549       ... with parameters
    1550         reference to instance of struct ofstream with body
    1551       ... returning nothing
    1552 
    1553       sepOn: function
    1554       ... with parameters
    1555         reference to instance of struct ofstream with body
    1556       ... returning
    1557         _Bool
    1558 
    1559       sepOff: function
    1560       ... with parameters
    1561         reference to instance of struct ofstream with body
    1562       ... returning
    1563         _Bool
    1564 
    1565       sepGet: function
    1566       ... with parameters
    1567         reference to instance of struct ofstream with body
    1568       ... returning
    1569         pointer to const char
    1570 
    1571       sepSet: function
    1572       ... with parameters
    1573         reference to instance of struct ofstream with body
    1574         pointer to const char
    1575       ... returning nothing
    1576 
    1577       sepGetTuple: function
    1578       ... with parameters
    1579         reference to instance of struct ofstream with body
    1580       ... returning
    1581         pointer to const char
    1582 
    1583       sepSetTuple: function
    1584       ... with parameters
    1585         reference to instance of struct ofstream with body
    1586         pointer to const char
    1587       ... returning nothing
    1588 
    1589       ends: function
    1590       ... with parameters
    1591         reference to instance of struct ofstream with body
    1592       ... returning nothing
    1593 
    1594       fmt: function
    1595       ... with parameters
    1596         reference to instance of struct ofstream with body
    1597         pointer to const char
    1598         and a variable number of other arguments
    1599       ... returning
    1600         signed int
     180      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     181      ... with parameters
     182        instance of struct ofstream with body
    1601183
    1602184
    … …  
    1609191
    1610192
    1611 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     193Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    1612194      Variable Expression: ?|?: forall
    1613195        instance of type ostype (not function type)
    1614196        with assertions
    1615         Variable Expression: sepPrt$: pointer to function
    1616         ... with parameters
    1617           reference to instance of type ostype (not function type)
    1618         ... returning
    1619           _Bool
    1620 
    1621         ... with resolved type:
    1622           pointer to function
    1623           ... with parameters
    1624             reference to instance of type ostype (not function type)
    1625           ... returning
    1626             _Bool
    1627 
    1628         Variable Expression: sepReset$: pointer to function
    1629         ... with parameters
    1630           reference to instance of type ostype (not function type)
    1631         ... returning nothing
    1632 
    1633         ... with resolved type:
    1634           pointer to function
    1635           ... with parameters
    1636             reference to instance of type ostype (not function type)
    1637           ... returning nothing
    1638 
    1639         Variable Expression: sepReset$: pointer to function
    1640         ... with parameters
    1641           reference to instance of type ostype (not function type)
    1642           _Bool
    1643         ... returning nothing
    1644 
    1645         ... with resolved type:
    1646           pointer to function
    1647           ... with parameters
    1648             reference to instance of type ostype (not function type)
    1649             _Bool
    1650           ... returning nothing
    1651 
    1652         Variable Expression: sepGetCur$: pointer to function
    1653         ... with parameters
    1654           reference to instance of type ostype (not function type)
    1655         ... returning
    1656           pointer to const char
    1657 
    1658         ... with resolved type:
    1659           pointer to function
    1660           ... with parameters
    1661             reference to instance of type ostype (not function type)
    1662           ... returning
    1663             pointer to const char
    1664 
    1665         Variable Expression: sepSetCur$: pointer to function
    1666         ... with parameters
    1667           reference to instance of type ostype (not function type)
    1668           pointer to const char
    1669         ... returning nothing
    1670 
    1671         ... with resolved type:
    1672           pointer to function
    1673           ... with parameters
    1674             reference to instance of type ostype (not function type)
    1675             pointer to const char
    1676           ... returning nothing
    1677 
    1678         Variable Expression: getNL$: pointer to function
    1679         ... with parameters
    1680           reference to instance of type ostype (not function type)
    1681         ... returning
    1682           _Bool
    1683 
    1684         ... with resolved type:
    1685           pointer to function
    1686           ... with parameters
    1687             reference to instance of type ostype (not function type)
    1688           ... returning
    1689             _Bool
    1690 
    1691         Variable Expression: setNL$: pointer to function
    1692         ... with parameters
    1693           reference to instance of type ostype (not function type)
    1694           _Bool
    1695         ... returning
    1696           _Bool
    1697 
    1698         ... with resolved type:
    1699           pointer to function
    1700           ... with parameters
    1701             reference to instance of type ostype (not function type)
    1702             _Bool
    1703           ... returning
    1704             _Bool
    1705 
    1706         Variable Expression: getANL$: pointer to function
    1707         ... with parameters
    1708           reference to instance of type ostype (not function type)
    1709         ... returning
    1710           _Bool
    1711 
    1712         ... with resolved type:
    1713           pointer to function
    1714           ... with parameters
    1715             reference to instance of type ostype (not function type)
    1716           ... returning
    1717             _Bool
    1718 
    1719         Variable Expression: setANL$: pointer to function
    1720         ... with parameters
    1721           reference to instance of type ostype (not function type)
    1722           _Bool
    1723         ... returning
    1724           _Bool
    1725 
    1726         ... with resolved type:
    1727           pointer to function
    1728           ... with parameters
    1729             reference to instance of type ostype (not function type)
    1730             _Bool
    1731           ... returning
    1732             _Bool
    1733 
    1734         Variable Expression: getPrt$: pointer to function
    1735         ... with parameters
    1736           reference to instance of type ostype (not function type)
    1737         ... returning
    1738           _Bool
    1739 
    1740         ... with resolved type:
    1741           pointer to function
    1742           ... with parameters
    1743             reference to instance of type ostype (not function type)
    1744           ... returning
    1745             _Bool
    1746 
    1747         Variable Expression: setPrt$: pointer to function
    1748         ... with parameters
    1749           reference to instance of type ostype (not function type)
    1750           _Bool
    1751         ... returning
    1752           _Bool
    1753 
    1754         ... with resolved type:
    1755           pointer to function
    1756           ... with parameters
    1757             reference to instance of type ostype (not function type)
    1758             _Bool
    1759           ... returning
    1760             _Bool
    1761 
    1762         Variable Expression: nlOn: pointer to function
    1763         ... with parameters
    1764           reference to instance of type ostype (not function type)
    1765         ... returning nothing
    1766 
    1767         ... with resolved type:
    1768           pointer to function
    1769           ... with parameters
    1770             reference to instance of type ostype (not function type)
    1771           ... returning nothing
    1772 
    1773         Variable Expression: nlOff: pointer to function
    1774         ... with parameters
    1775           reference to instance of type ostype (not function type)
    1776         ... returning nothing
    1777 
    1778         ... with resolved type:
    1779           pointer to function
    1780           ... with parameters
    1781             reference to instance of type ostype (not function type)
    1782           ... returning nothing
    1783 
    1784         Variable Expression: sep: pointer to function
    1785         ... with parameters
    1786           reference to instance of type ostype (not function type)
    1787         ... returning nothing
    1788 
    1789         ... with resolved type:
    1790           pointer to function
    1791           ... with parameters
    1792             reference to instance of type ostype (not function type)
    1793           ... returning nothing
    1794 
    1795         Variable Expression: nosep: pointer to function
    1796         ... with parameters
    1797           reference to instance of type ostype (not function type)
    1798         ... returning nothing
    1799 
    1800         ... with resolved type:
    1801           pointer to function
    1802           ... with parameters
    1803             reference to instance of type ostype (not function type)
    1804           ... returning nothing
    1805 
    1806         Variable Expression: sepOn: pointer to function
    1807         ... with parameters
    1808           reference to instance of type ostype (not function type)
    1809         ... returning
    1810           _Bool
    1811 
    1812         ... with resolved type:
    1813           pointer to function
    1814           ... with parameters
    1815             reference to instance of type ostype (not function type)
    1816           ... returning
    1817             _Bool
    1818 
    1819         Variable Expression: sepOff: pointer to function
    1820         ... with parameters
    1821           reference to instance of type ostype (not function type)
    1822         ... returning
    1823           _Bool
    1824 
    1825         ... with resolved type:
    1826           pointer to function
    1827           ... with parameters
    1828             reference to instance of type ostype (not function type)
    1829           ... returning
    1830             _Bool
    1831 
    1832         Variable Expression: sepGet: pointer to function
    1833         ... with parameters
    1834           reference to instance of type ostype (not function type)
    1835         ... returning
    1836           pointer to const char
    1837 
    1838         ... with resolved type:
    1839           pointer to function
    1840           ... with parameters
    1841             reference to instance of type ostype (not function type)
    1842           ... returning
    1843             pointer to const char
    1844 
    1845         Variable Expression: sepSet: pointer to function
    1846         ... with parameters
    1847           reference to instance of type ostype (not function type)
    1848           pointer to const char
    1849         ... returning nothing
    1850 
    1851         ... with resolved type:
    1852           pointer to function
    1853           ... with parameters
    1854             reference to instance of type ostype (not function type)
    1855             pointer to const char
    1856           ... returning nothing
    1857 
    1858         Variable Expression: sepGetTuple: pointer to function
    1859         ... with parameters
    1860           reference to instance of type ostype (not function type)
    1861         ... returning
    1862           pointer to const char
    1863 
    1864         ... with resolved type:
    1865           pointer to function
    1866           ... with parameters
    1867             reference to instance of type ostype (not function type)
    1868           ... returning
    1869             pointer to const char
    1870 
    1871         Variable Expression: sepSetTuple: pointer to function
    1872         ... with parameters
    1873           reference to instance of type ostype (not function type)
    1874           pointer to const char
    1875         ... returning nothing
    1876 
    1877         ... with resolved type:
    1878           pointer to function
    1879           ... with parameters
    1880             reference to instance of type ostype (not function type)
    1881             pointer to const char
    1882           ... returning nothing
    1883 
    1884         Variable Expression: ends: pointer to function
    1885         ... with parameters
    1886           reference to instance of type ostype (not function type)
    1887         ... returning nothing
    1888 
    1889         ... with resolved type:
    1890           pointer to function
    1891           ... with parameters
    1892             reference to instance of type ostype (not function type)
    1893           ... returning nothing
    1894 
    1895         Variable Expression: fmt: pointer to function
    1896         ... with parameters
    1897           reference to instance of type ostype (not function type)
    1898           pointer to const char
    1899           and a variable number of other arguments
    1900         ... returning
    1901           signed int
    1902 
    1903         ... with resolved type:
    1904           pointer to function
    1905           ... with parameters
    1906             reference to instance of type ostype (not function type)
    1907             pointer to const char
    1908             and a variable number of other arguments
    1909           ... returning
    1910             signed int
     197        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     198        ... with parameters
     199          instance of type ostype (not function type)
     200
     201        ... with resolved type:
     202          reference to const instance of struct basic_ostream_data with body
     203          ... with parameters
     204            instance of type ostype (not function type)
    1911205
    1912206        function
    … …  
    1921215          instance of type [unbound] (not function type)
    1922216          with assertions
    1923           Variable Expression: sepPrt$: pointer to function
    1924           ... with parameters
    1925             reference to instance of type ostype (not function type)
    1926           ... returning
    1927             _Bool
    1928 
    1929           ... with resolved type:
    1930             pointer to function
     217          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     218          ... with parameters
     219            instance of type ostype (not function type)
     220
     221          ... with resolved type:
     222            reference to const instance of struct basic_ostream_data with body
    1931223            ... with parameters
    1932               reference to instance of type [unbound] (not function type)
    1933             ... returning
    1934               _Bool
    1935 
    1936           Variable Expression: sepReset$: pointer to function
    1937           ... with parameters
    1938             reference to instance of type ostype (not function type)
    1939           ... returning nothing
    1940 
    1941           ... with resolved type:
    1942             pointer to function
    1943             ... with parameters
    1944               reference to instance of type [unbound] (not function type)
    1945             ... returning nothing
    1946 
    1947           Variable Expression: sepReset$: pointer to function
    1948           ... with parameters
    1949             reference to instance of type ostype (not function type)
    1950             _Bool
    1951           ... returning nothing
    1952 
    1953           ... with resolved type:
    1954             pointer to function
    1955             ... with parameters
    1956               reference to instance of type [unbound] (not function type)
    1957               _Bool
    1958             ... returning nothing
    1959 
    1960           Variable Expression: sepGetCur$: pointer to function
    1961           ... with parameters
    1962             reference to instance of type ostype (not function type)
    1963           ... returning
    1964             pointer to const char
    1965 
    1966           ... with resolved type:
    1967             pointer to function
    1968             ... with parameters
    1969               reference to instance of type [unbound] (not function type)
    1970             ... returning
    1971               pointer to const char
    1972 
    1973           Variable Expression: sepSetCur$: pointer to function
    1974           ... with parameters
    1975             reference to instance of type ostype (not function type)
    1976             pointer to const char
    1977           ... returning nothing
    1978 
    1979           ... with resolved type:
    1980             pointer to function
    1981             ... with parameters
    1982               reference to instance of type [unbound] (not function type)
    1983               pointer to const char
    1984             ... returning nothing
    1985 
    1986           Variable Expression: getNL$: pointer to function
    1987           ... with parameters
    1988             reference to instance of type ostype (not function type)
    1989           ... returning
    1990             _Bool
    1991 
    1992           ... with resolved type:
    1993             pointer to function
    1994             ... with parameters
    1995               reference to instance of type [unbound] (not function type)
    1996             ... returning
    1997               _Bool
    1998 
    1999           Variable Expression: setNL$: pointer to function
    2000           ... with parameters
    2001             reference to instance of type ostype (not function type)
    2002             _Bool
    2003           ... returning
    2004             _Bool
    2005 
    2006           ... with resolved type:
    2007             pointer to function
    2008             ... with parameters
    2009               reference to instance of type [unbound] (not function type)
    2010               _Bool
    2011             ... returning
    2012               _Bool
    2013 
    2014           Variable Expression: getANL$: pointer to function
    2015           ... with parameters
    2016             reference to instance of type ostype (not function type)
    2017           ... returning
    2018             _Bool
    2019 
    2020           ... with resolved type:
    2021             pointer to function
    2022             ... with parameters
    2023               reference to instance of type [unbound] (not function type)
    2024             ... returning
    2025               _Bool
    2026 
    2027           Variable Expression: setANL$: pointer to function
    2028           ... with parameters
    2029             reference to instance of type ostype (not function type)
    2030             _Bool
    2031           ... returning
    2032             _Bool
    2033 
    2034           ... with resolved type:
    2035             pointer to function
    2036             ... with parameters
    2037               reference to instance of type [unbound] (not function type)
    2038               _Bool
    2039             ... returning
    2040               _Bool
    2041 
    2042           Variable Expression: getPrt$: pointer to function
    2043           ... with parameters
    2044             reference to instance of type ostype (not function type)
    2045           ... returning
    2046             _Bool
    2047 
    2048           ... with resolved type:
    2049             pointer to function
    2050             ... with parameters
    2051               reference to instance of type [unbound] (not function type)
    2052             ... returning
    2053               _Bool
    2054 
    2055           Variable Expression: setPrt$: pointer to function
    2056           ... with parameters
    2057             reference to instance of type ostype (not function type)
    2058             _Bool
    2059           ... returning
    2060             _Bool
    2061 
    2062           ... with resolved type:
    2063             pointer to function
    2064             ... with parameters
    2065               reference to instance of type [unbound] (not function type)
    2066               _Bool
    2067             ... returning
    2068               _Bool
    2069 
    2070           Variable Expression: nlOn: pointer to function
    2071           ... with parameters
    2072             reference to instance of type ostype (not function type)
    2073           ... returning nothing
    2074 
    2075           ... with resolved type:
    2076             pointer to function
    2077             ... with parameters
    2078               reference to instance of type [unbound] (not function type)
    2079             ... returning nothing
    2080 
    2081           Variable Expression: nlOff: pointer to function
    2082           ... with parameters
    2083             reference to instance of type ostype (not function type)
    2084           ... returning nothing
    2085 
    2086           ... with resolved type:
    2087             pointer to function
    2088             ... with parameters
    2089               reference to instance of type [unbound] (not function type)
    2090             ... returning nothing
    2091 
    2092           Variable Expression: sep: pointer to function
    2093           ... with parameters
    2094             reference to instance of type ostype (not function type)
    2095           ... returning nothing
    2096 
    2097           ... with resolved type:
    2098             pointer to function
    2099             ... with parameters
    2100               reference to instance of type [unbound] (not function type)
    2101             ... returning nothing
    2102 
    2103           Variable Expression: nosep: pointer to function
    2104           ... with parameters
    2105             reference to instance of type ostype (not function type)
    2106           ... returning nothing
    2107 
    2108           ... with resolved type:
    2109             pointer to function
    2110             ... with parameters
    2111               reference to instance of type [unbound] (not function type)
    2112             ... returning nothing
    2113 
    2114           Variable Expression: sepOn: pointer to function
    2115           ... with parameters
    2116             reference to instance of type ostype (not function type)
    2117           ... returning
    2118             _Bool
    2119 
    2120           ... with resolved type:
    2121             pointer to function
    2122             ... with parameters
    2123               reference to instance of type [unbound] (not function type)
    2124             ... returning
    2125               _Bool
    2126 
    2127           Variable Expression: sepOff: pointer to function
    2128           ... with parameters
    2129             reference to instance of type ostype (not function type)
    2130           ... returning
    2131             _Bool
    2132 
    2133           ... with resolved type:
    2134             pointer to function
    2135             ... with parameters
    2136               reference to instance of type [unbound] (not function type)
    2137             ... returning
    2138               _Bool
    2139 
    2140           Variable Expression: sepGet: pointer to function
    2141           ... with parameters
    2142             reference to instance of type ostype (not function type)
    2143           ... returning
    2144             pointer to const char
    2145 
    2146           ... with resolved type:
    2147             pointer to function
    2148             ... with parameters
    2149               reference to instance of type [unbound] (not function type)
    2150             ... returning
    2151               pointer to const char
    2152 
    2153           Variable Expression: sepSet: pointer to function
    2154           ... with parameters
    2155             reference to instance of type ostype (not function type)
    2156             pointer to const char
    2157           ... returning nothing
    2158 
    2159           ... with resolved type:
    2160             pointer to function
    2161             ... with parameters
    2162               reference to instance of type [unbound] (not function type)
    2163               pointer to const char
    2164             ... returning nothing
    2165 
    2166           Variable Expression: sepGetTuple: pointer to function
    2167           ... with parameters
    2168             reference to instance of type ostype (not function type)
    2169           ... returning
    2170             pointer to const char
    2171 
    2172           ... with resolved type:
    2173             pointer to function
    2174             ... with parameters
    2175               reference to instance of type [unbound] (not function type)
    2176             ... returning
    2177               pointer to const char
    2178 
    2179           Variable Expression: sepSetTuple: pointer to function
    2180           ... with parameters
    2181             reference to instance of type ostype (not function type)
    2182             pointer to const char
    2183           ... returning nothing
    2184 
    2185           ... with resolved type:
    2186             pointer to function
    2187             ... with parameters
    2188               reference to instance of type [unbound] (not function type)
    2189               pointer to const char
    2190             ... returning nothing
    2191 
    2192           Variable Expression: ends: pointer to function
    2193           ... with parameters
    2194             reference to instance of type ostype (not function type)
    2195           ... returning nothing
    2196 
    2197           ... with resolved type:
    2198             pointer to function
    2199             ... with parameters
    2200               reference to instance of type [unbound] (not function type)
    2201             ... returning nothing
    2202 
    2203           Variable Expression: fmt: pointer to function
    2204           ... with parameters
    2205             reference to instance of type ostype (not function type)
    2206             pointer to const char
    2207             and a variable number of other arguments
    2208           ... returning
    2209             signed int
    2210 
    2211           ... with resolved type:
    2212             pointer to function
    2213             ... with parameters
    2214               reference to instance of type [unbound] (not function type)
    2215               pointer to const char
    2216               and a variable number of other arguments
    2217             ... returning
    2218               signed int
     224              instance of type [unbound] (not function type)
    2219225
    2220226          function
    … …  
    2261267        signed int
    2262268    with inferred parameters 0:
    2263       sepPrt$: function
    2264       ... with parameters
    2265         reference to instance of struct ofstream with body
    2266       ... returning
    2267         _Bool
    2268 
    2269       sepReset$: function
    2270       ... with parameters
    2271         reference to instance of struct ofstream with body
    2272       ... returning nothing
    2273 
    2274       sepReset$: function
    2275       ... with parameters
    2276         reference to instance of struct ofstream with body
    2277         _Bool
    2278       ... returning nothing
    2279 
    2280       sepGetCur$: function
    2281       ... with parameters
    2282         reference to instance of struct ofstream with body
    2283       ... returning
    2284         pointer to const char
    2285 
    2286       sepSetCur$: function
    2287       ... with parameters
    2288         reference to instance of struct ofstream with body
    2289         pointer to const char
    2290       ... returning nothing
    2291 
    2292       getNL$: function
    2293       ... with parameters
    2294         reference to instance of struct ofstream with body
    2295       ... returning
    2296         _Bool
    2297 
    2298       setNL$: function
    2299       ... with parameters
    2300         reference to instance of struct ofstream with body
    2301         _Bool
    2302       ... returning
    2303         _Bool
    2304 
    2305       getANL$: function
    2306       ... with parameters
    2307         reference to instance of struct ofstream with body
    2308       ... returning
    2309         _Bool
    2310 
    2311       setANL$: function
    2312       ... with parameters
    2313         reference to instance of struct ofstream with body
    2314         _Bool
    2315       ... returning
    2316         _Bool
    2317 
    2318       getPrt$: function
    2319       ... with parameters
    2320         reference to instance of struct ofstream with body
    2321       ... returning
    2322         _Bool
    2323 
    2324       setPrt$: function
    2325       ... with parameters
    2326         reference to instance of struct ofstream with body
    2327         _Bool
    2328       ... returning
    2329         _Bool
    2330 
    2331       nlOn: function
    2332       ... with parameters
    2333         reference to instance of struct ofstream with body
    2334       ... returning nothing
    2335 
    2336       nlOff: function
    2337       ... with parameters
    2338         reference to instance of struct ofstream with body
    2339       ... returning nothing
    2340 
    2341       sep: function
    2342       ... with parameters
    2343         reference to instance of struct ofstream with body
    2344       ... returning nothing
    2345 
    2346       nosep: function
    2347       ... with parameters
    2348         reference to instance of struct ofstream with body
    2349       ... returning nothing
    2350 
    2351       sepOn: function
    2352       ... with parameters
    2353         reference to instance of struct ofstream with body
    2354       ... returning
    2355         _Bool
    2356 
    2357       sepOff: function
    2358       ... with parameters
    2359         reference to instance of struct ofstream with body
    2360       ... returning
    2361         _Bool
    2362 
    2363       sepGet: function
    2364       ... with parameters
    2365         reference to instance of struct ofstream with body
    2366       ... returning
    2367         pointer to const char
    2368 
    2369       sepSet: function
    2370       ... with parameters
    2371         reference to instance of struct ofstream with body
    2372         pointer to const char
    2373       ... returning nothing
    2374 
    2375       sepGetTuple: function
    2376       ... with parameters
    2377         reference to instance of struct ofstream with body
    2378       ... returning
    2379         pointer to const char
    2380 
    2381       sepSetTuple: function
    2382       ... with parameters
    2383         reference to instance of struct ofstream with body
    2384         pointer to const char
    2385       ... returning nothing
    2386 
    2387       ends: function
    2388       ... with parameters
    2389         reference to instance of struct ofstream with body
    2390       ... returning nothing
    2391 
    2392       fmt: function
    2393       ... with parameters
    2394         reference to instance of struct ofstream with body
    2395         pointer to const char
    2396         and a variable number of other arguments
    2397       ... returning
    2398         signed int
     269      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     270      ... with parameters
     271        instance of struct ofstream with body
    2399272
    2400273
    … …  
    2407280
    2408281
    2409 Cost ( 0, 0, 1, 2, 0, 1, -24, 0 ): Application of
     282Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
    2410283      Variable Expression: ?|?: forall
    2411284        instance of type ostype (not function type)
    2412285        with assertions
    2413         Variable Expression: sepPrt$: pointer to function
    2414         ... with parameters
    2415           reference to instance of type ostype (not function type)
    2416         ... returning
    2417           _Bool
    2418 
    2419         ... with resolved type:
    2420           pointer to function
    2421           ... with parameters
    2422             reference to instance of type ostype (not function type)
    2423           ... returning
    2424             _Bool
    2425 
    2426         Variable Expression: sepReset$: pointer to function
    2427         ... with parameters
    2428           reference to instance of type ostype (not function type)
    2429         ... returning nothing
    2430 
    2431         ... with resolved type:
    2432           pointer to function
    2433           ... with parameters
    2434             reference to instance of type ostype (not function type)
    2435           ... returning nothing
    2436 
    2437         Variable Expression: sepReset$: pointer to function
    2438         ... with parameters
    2439           reference to instance of type ostype (not function type)
    2440           _Bool
    2441         ... returning nothing
    2442 
    2443         ... with resolved type:
    2444           pointer to function
    2445           ... with parameters
    2446             reference to instance of type ostype (not function type)
    2447             _Bool
    2448           ... returning nothing
    2449 
    2450         Variable Expression: sepGetCur$: pointer to function
    2451         ... with parameters
    2452           reference to instance of type ostype (not function type)
    2453         ... returning
    2454           pointer to const char
    2455 
    2456         ... with resolved type:
    2457           pointer to function
    2458           ... with parameters
    2459             reference to instance of type ostype (not function type)
    2460           ... returning
    2461             pointer to const char
    2462 
    2463         Variable Expression: sepSetCur$: pointer to function
    2464         ... with parameters
    2465           reference to instance of type ostype (not function type)
    2466           pointer to const char
    2467         ... returning nothing
    2468 
    2469         ... with resolved type:
    2470           pointer to function
    2471           ... with parameters
    2472             reference to instance of type ostype (not function type)
    2473             pointer to const char
    2474           ... returning nothing
    2475 
    2476         Variable Expression: getNL$: pointer to function
    2477         ... with parameters
    2478           reference to instance of type ostype (not function type)
    2479         ... returning
    2480           _Bool
    2481 
    2482         ... with resolved type:
    2483           pointer to function
    2484           ... with parameters
    2485             reference to instance of type ostype (not function type)
    2486           ... returning
    2487             _Bool
    2488 
    2489         Variable Expression: setNL$: pointer to function
    2490         ... with parameters
    2491           reference to instance of type ostype (not function type)
    2492           _Bool
    2493         ... returning
    2494           _Bool
    2495 
    2496         ... with resolved type:
    2497           pointer to function
    2498           ... with parameters
    2499             reference to instance of type ostype (not function type)
    2500             _Bool
    2501           ... returning
    2502             _Bool
    2503 
    2504         Variable Expression: getANL$: pointer to function
    2505         ... with parameters
    2506           reference to instance of type ostype (not function type)
    2507         ... returning
    2508           _Bool
    2509 
    2510         ... with resolved type:
    2511           pointer to function
    2512           ... with parameters
    2513             reference to instance of type ostype (not function type)
    2514           ... returning
    2515             _Bool
    2516 
    2517         Variable Expression: setANL$: pointer to function
    2518         ... with parameters
    2519           reference to instance of type ostype (not function type)
    2520           _Bool
    2521         ... returning
    2522           _Bool
    2523 
    2524         ... with resolved type:
    2525           pointer to function
    2526           ... with parameters
    2527             reference to instance of type ostype (not function type)
    2528             _Bool
    2529           ... returning
    2530             _Bool
    2531 
    2532         Variable Expression: getPrt$: pointer to function
    2533         ... with parameters
    2534           reference to instance of type ostype (not function type)
    2535         ... returning
    2536           _Bool
    2537 
    2538         ... with resolved type:
    2539           pointer to function
    2540           ... with parameters
    2541             reference to instance of type ostype (not function type)
    2542           ... returning
    2543             _Bool
    2544 
    2545         Variable Expression: setPrt$: pointer to function
    2546         ... with parameters
    2547           reference to instance of type ostype (not function type)
    2548           _Bool
    2549         ... returning
    2550           _Bool
    2551 
    2552         ... with resolved type:
    2553           pointer to function
    2554           ... with parameters
    2555             reference to instance of type ostype (not function type)
    2556             _Bool
    2557           ... returning
    2558             _Bool
    2559 
    2560         Variable Expression: nlOn: pointer to function
    2561         ... with parameters
    2562           reference to instance of type ostype (not function type)
    2563         ... returning nothing
    2564 
    2565         ... with resolved type:
    2566           pointer to function
    2567           ... with parameters
    2568             reference to instance of type ostype (not function type)
    2569           ... returning nothing
    2570 
    2571         Variable Expression: nlOff: pointer to function
    2572         ... with parameters
    2573           reference to instance of type ostype (not function type)
    2574         ... returning nothing
    2575 
    2576         ... with resolved type:
    2577           pointer to function
    2578           ... with parameters
    2579             reference to instance of type ostype (not function type)
    2580           ... returning nothing
    2581 
    2582         Variable Expression: sep: pointer to function
    2583         ... with parameters
    2584           reference to instance of type ostype (not function type)
    2585         ... returning nothing
    2586 
    2587         ... with resolved type:
    2588           pointer to function
    2589           ... with parameters
    2590             reference to instance of type ostype (not function type)
    2591           ... returning nothing
    2592 
    2593         Variable Expression: nosep: pointer to function
    2594         ... with parameters
    2595           reference to instance of type ostype (not function type)
    2596         ... returning nothing
    2597 
    2598         ... with resolved type:
    2599           pointer to function
    2600           ... with parameters
    2601             reference to instance of type ostype (not function type)
    2602           ... returning nothing
    2603 
    2604         Variable Expression: sepOn: pointer to function
    2605         ... with parameters
    2606           reference to instance of type ostype (not function type)
    2607         ... returning
    2608           _Bool
    2609 
    2610         ... with resolved type:
    2611           pointer to function
    2612           ... with parameters
    2613             reference to instance of type ostype (not function type)
    2614           ... returning
    2615             _Bool
    2616 
    2617         Variable Expression: sepOff: pointer to function
    2618         ... with parameters
    2619           reference to instance of type ostype (not function type)
    2620         ... returning
    2621           _Bool
    2622 
    2623         ... with resolved type:
    2624           pointer to function
    2625           ... with parameters
    2626             reference to instance of type ostype (not function type)
    2627           ... returning
    2628             _Bool
    2629 
    2630         Variable Expression: sepGet: pointer to function
    2631         ... with parameters
    2632           reference to instance of type ostype (not function type)
    2633         ... returning
    2634           pointer to const char
    2635 
    2636         ... with resolved type:
    2637           pointer to function
    2638           ... with parameters
    2639             reference to instance of type ostype (not function type)
    2640           ... returning
    2641             pointer to const char
    2642 
    2643         Variable Expression: sepSet: pointer to function
    2644         ... with parameters
    2645           reference to instance of type ostype (not function type)
    2646           pointer to const char
    2647         ... returning nothing
    2648 
    2649         ... with resolved type:
    2650           pointer to function
    2651           ... with parameters
    2652             reference to instance of type ostype (not function type)
    2653             pointer to const char
    2654           ... returning nothing
    2655 
    2656         Variable Expression: sepGetTuple: pointer to function
    2657         ... with parameters
    2658           reference to instance of type ostype (not function type)
    2659         ... returning
    2660           pointer to const char
    2661 
    2662         ... with resolved type:
    2663           pointer to function
    2664           ... with parameters
    2665             reference to instance of type ostype (not function type)
    2666           ... returning
    2667             pointer to const char
    2668 
    2669         Variable Expression: sepSetTuple: pointer to function
    2670         ... with parameters
    2671           reference to instance of type ostype (not function type)
    2672           pointer to const char
    2673         ... returning nothing
    2674 
    2675         ... with resolved type:
    2676           pointer to function
    2677           ... with parameters
    2678             reference to instance of type ostype (not function type)
    2679             pointer to const char
    2680           ... returning nothing
    2681 
    2682         Variable Expression: ends: pointer to function
    2683         ... with parameters
    2684           reference to instance of type ostype (not function type)
    2685         ... returning nothing
    2686 
    2687         ... with resolved type:
    2688           pointer to function
    2689           ... with parameters
    2690             reference to instance of type ostype (not function type)
    2691           ... returning nothing
    2692 
    2693         Variable Expression: fmt: pointer to function
    2694         ... with parameters
    2695           reference to instance of type ostype (not function type)
    2696           pointer to const char
    2697           and a variable number of other arguments
    2698         ... returning
    2699           signed int
    2700 
    2701         ... with resolved type:
    2702           pointer to function
    2703           ... with parameters
    2704             reference to instance of type ostype (not function type)
    2705             pointer to const char
    2706             and a variable number of other arguments
    2707           ... returning
    2708             signed int
     286        Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     287        ... with parameters
     288          instance of type ostype (not function type)
     289
     290        ... with resolved type:
     291          reference to const instance of struct basic_ostream_data with body
     292          ... with parameters
     293            instance of type ostype (not function type)
    2709294
    2710295        function
    … …  
    2718303          instance of type [unbound] (not function type)
    2719304          with assertions
    2720           Variable Expression: sepPrt$: pointer to function
    2721           ... with parameters
    2722             reference to instance of type ostype (not function type)
    2723           ... returning
    2724             _Bool
    2725 
    2726           ... with resolved type:
    2727             pointer to function
     305          Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
     306          ... with parameters
     307            instance of type ostype (not function type)
     308
     309          ... with resolved type:
     310            reference to const instance of struct basic_ostream_data with body
    2728311            ... with parameters
    2729               reference to instance of type [unbound] (not function type)
    2730             ... returning
    2731               _Bool
    2732 
    2733           Variable Expression: sepReset$: pointer to function
    2734           ... with parameters
    2735             reference to instance of type ostype (not function type)
    2736           ... returning nothing
    2737 
    2738           ... with resolved type:
    2739             pointer to function
    2740             ... with parameters
    2741               reference to instance of type [unbound] (not function type)
    2742             ... returning nothing
    2743 
    2744           Variable Expression: sepReset$: pointer to function
    2745           ... with parameters
    2746             reference to instance of type ostype (not function type)
    2747             _Bool
    2748           ... returning nothing
    2749 
    2750           ... with resolved type:
    2751             pointer to function
    2752             ... with parameters
    2753               reference to instance of type [unbound] (not function type)
    2754               _Bool
    2755             ... returning nothing
    2756 
    2757           Variable Expression: sepGetCur$: pointer to function
    2758           ... with parameters
    2759             reference to instance of type ostype (not function type)
    2760           ... returning
    2761             pointer to const char
    2762 
    2763           ... with resolved type:
    2764             pointer to function
    2765             ... with parameters
    2766               reference to instance of type [unbound] (not function type)
    2767             ... returning
    2768               pointer to const char
    2769 
    2770           Variable Expression: sepSetCur$: pointer to function
    2771           ... with parameters
    2772             reference to instance of type ostype (not function type)
    2773             pointer to const char
    2774           ... returning nothing
    2775 
    2776           ... with resolved type:
    2777             pointer to function
    2778             ... with parameters
    2779               reference to instance of type [unbound] (not function type)
    2780               pointer to const char
    2781             ... returning nothing
    2782 
    2783           Variable Expression: getNL$: pointer to function
    2784           ... with parameters
    2785             reference to instance of type ostype (not function type)
    2786           ... returning
    2787             _Bool
    2788 
    2789           ... with resolved type:
    2790             pointer to function
    2791             ... with parameters
    2792               reference to instance of type [unbound] (not function type)
    2793             ... returning
    2794               _Bool
    2795 
    2796           Variable Expression: setNL$: pointer to function
    2797           ... with parameters
    2798             reference to instance of type ostype (not function type)
    2799             _Bool
    2800           ... returning
    2801             _Bool
    2802 
    2803           ... with resolved type:
    2804             pointer to function
    2805             ... with parameters
    2806               reference to instance of type [unbound] (not function type)
    2807               _Bool
    2808             ... returning
    2809               _Bool
    2810 
    2811           Variable Expression: getANL$: pointer to function
    2812           ... with parameters
    2813             reference to instance of type ostype (not function type)
    2814           ... returning
    2815             _Bool
    2816 
    2817           ... with resolved type:
    2818             pointer to function
    2819             ... with parameters
    2820               reference to instance of type [unbound] (not function type)
    2821             ... returning
    2822               _Bool
    2823 
    2824           Variable Expression: setANL$: pointer to function
    2825           ... with parameters
    2826             reference to instance of type ostype (not function type)
    2827             _Bool
    2828           ... returning
    2829             _Bool
    2830 
    2831           ... with resolved type:
    2832             pointer to function
    2833             ... with parameters
    2834               reference to instance of type [unbound] (not function type)
    2835               _Bool
    2836             ... returning
    2837               _Bool
    2838 
    2839           Variable Expression: getPrt$: pointer to function
    2840           ... with parameters
    2841             reference to instance of type ostype (not function type)
    2842           ... returning
    2843             _Bool
    2844 
    2845           ... with resolved type:
    2846             pointer to function
    2847             ... with parameters
    2848               reference to instance of type [unbound] (not function type)
    2849             ... returning
    2850               _Bool
    2851 
    2852           Variable Expression: setPrt$: pointer to function
    2853           ... with parameters
    2854             reference to instance of type ostype (not function type)
    2855             _Bool
    2856           ... returning
    2857             _Bool
    2858 
    2859           ... with resolved type:
    2860             pointer to function
    2861             ... with parameters
    2862               reference to instance of type [unbound] (not function type)
    2863               _Bool
    2864             ... returning
    2865               _Bool
    2866 
    2867           Variable Expression: nlOn: pointer to function
    2868           ... with parameters
    2869             reference to instance of type ostype (not function type)
    2870           ... returning nothing
    2871 
    2872           ... with resolved type:
    2873             pointer to function
    2874             ... with parameters
    2875               reference to instance of type [unbound] (not function type)
    2876             ... returning nothing
    2877 
    2878           Variable Expression: nlOff: pointer to function
    2879           ... with parameters
    2880             reference to instance of type ostype (not function type)
    2881           ... returning nothing
    2882 
    2883           ... with resolved type:
    2884             pointer to function
    2885             ... with parameters
    2886               reference to instance of type [unbound] (not function type)
    2887             ... returning nothing
    2888 
    2889           Variable Expression: sep: pointer to function
    2890           ... with parameters
    2891             reference to instance of type ostype (not function type)
    2892           ... returning nothing
    2893 
    2894           ... with resolved type:
    2895             pointer to function
    2896             ... with parameters
    2897               reference to instance of type [unbound] (not function type)
    2898             ... returning nothing
    2899 
    2900           Variable Expression: nosep: pointer to function
    2901           ... with parameters
    2902             reference to instance of type ostype (not function type)
    2903           ... returning nothing
    2904 
    2905           ... with resolved type:
    2906             pointer to function
    2907             ... with parameters
    2908               reference to instance of type [unbound] (not function type)
    2909             ... returning nothing
    2910 
    2911           Variable Expression: sepOn: pointer to function
    2912           ... with parameters
    2913             reference to instance of type ostype (not function type)
    2914           ... returning
    2915             _Bool
    2916 
    2917           ... with resolved type:
    2918             pointer to function
    2919             ... with parameters
    2920               reference to instance of type [unbound] (not function type)
    2921             ... returning
    2922               _Bool
    2923 
    2924           Variable Expression: sepOff: pointer to function
    2925           ... with parameters
    2926             reference to instance of type ostype (not function type)
    2927           ... returning
    2928             _Bool
    2929 
    2930           ... with resolved type:
    2931             pointer to function
    2932             ... with parameters
    2933               reference to instance of type [unbound] (not function type)
    2934             ... returning
    2935               _Bool
    2936 
    2937           Variable Expression: sepGet: pointer to function
    2938           ... with parameters
    2939             reference to instance of type ostype (not function type)
    2940           ... returning
    2941             pointer to const char
    2942 
    2943           ... with resolved type:
    2944             pointer to function
    2945             ... with parameters
    2946               reference to instance of type [unbound] (not function type)
    2947             ... returning
    2948               pointer to const char
    2949 
    2950           Variable Expression: sepSet: pointer to function
    2951           ... with parameters
    2952             reference to instance of type ostype (not function type)
    2953             pointer to const char
    2954           ... returning nothing
    2955 
    2956           ... with resolved type:
    2957             pointer to function
    2958             ... with parameters
    2959               reference to instance of type [unbound] (not function type)
    2960               pointer to const char
    2961             ... returning nothing
    2962 
    2963           Variable Expression: sepGetTuple: pointer to function
    2964           ... with parameters
    2965             reference to instance of type ostype (not function type)
    2966           ... returning
    2967             pointer to const char
    2968 
    2969           ... with resolved type:
    2970             pointer to function
    2971             ... with parameters
    2972               reference to instance of type [unbound] (not function type)
    2973             ... returning
    2974               pointer to const char
    2975 
    2976           Variable Expression: sepSetTuple: pointer to function
    2977           ... with parameters
    2978             reference to instance of type ostype (not function type)
    2979             pointer to const char
    2980           ... returning nothing
    2981 
    2982           ... with resolved type:
    2983             pointer to function
    2984             ... with parameters
    2985               reference to instance of type [unbound] (not function type)
    2986               pointer to const char
    2987             ... returning nothing
    2988 
    2989           Variable Expression: ends: pointer to function
    2990           ... with parameters
    2991             reference to instance of type ostype (not function type)
    2992           ... returning nothing
    2993 
    2994           ... with resolved type:
    2995             pointer to function
    2996             ... with parameters
    2997               reference to instance of type [unbound] (not function type)
    2998             ... returning nothing
    2999 
    3000           Variable Expression: fmt: pointer to function
    3001           ... with parameters
    3002             reference to instance of type ostype (not function type)
    3003             pointer to const char
    3004             and a variable number of other arguments
    3005           ... returning
    3006             signed int
    3007 
    3008           ... with resolved type:
    3009             pointer to function
    3010             ... with parameters
    3011               reference to instance of type [unbound] (not function type)
    3012               pointer to const char
    3013               and a variable number of other arguments
    3014             ... returning
    3015               signed int
     312              instance of type [unbound] (not function type)
    3016313
    3017314          function
    … …  
    3057354        signed int
    3058355    with inferred parameters 0:
    3059       sepPrt$: function
    3060       ... with parameters
    3061         reference to instance of struct ofstream with body
    3062       ... returning
    3063         _Bool
    3064 
    3065       sepReset$: function
    3066       ... with parameters
    3067         reference to instance of struct ofstream with body
    3068       ... returning nothing
    3069 
    3070       sepReset$: function
    3071       ... with parameters
    3072         reference to instance of struct ofstream with body
    3073         _Bool
    3074       ... returning nothing
    3075 
    3076       sepGetCur$: function
    3077       ... with parameters
    3078         reference to instance of struct ofstream with body
    3079       ... returning
    3080         pointer to const char
    3081 
    3082       sepSetCur$: function
    3083       ... with parameters
    3084         reference to instance of struct ofstream with body
    3085         pointer to const char
    3086       ... returning nothing
    3087 
    3088       getNL$: function
    3089       ... with parameters
    3090         reference to instance of struct ofstream with body
    3091       ... returning
    3092         _Bool
    3093 
    3094       setNL$: function
    3095       ... with parameters
    3096         reference to instance of struct ofstream with body
    3097         _Bool
    3098       ... returning
    3099         _Bool
    3100 
    3101       getANL$: function
    3102       ... with parameters
    3103         reference to instance of struct ofstream with body
    3104       ... returning
    3105         _Bool
    3106 
    3107       setANL$: function
    3108       ... with parameters
    3109         reference to instance of struct ofstream with body
    3110         _Bool
    3111       ... returning
    3112         _Bool
    3113 
    3114       getPrt$: function
    3115       ... with parameters
    3116         reference to instance of struct ofstream with body
    3117       ... returning
    3118         _Bool
    3119 
    3120       setPrt$: function
    3121       ... with parameters
    3122         reference to instance of struct ofstream with body
    3123         _Bool
    3124       ... returning
    3125         _Bool
    3126 
    3127       nlOn: function
    3128       ... with parameters
    3129         reference to instance of struct ofstream with body
    3130       ... returning nothing
    3131 
    3132       nlOff: function
    3133       ... with parameters
    3134         reference to instance of struct ofstream with body
    3135       ... returning nothing
    3136 
    3137       sep: function
    3138       ... with parameters
    3139         reference to instance of struct ofstream with body
    3140       ... returning nothing
    3141 
    3142       nosep: function
    3143       ... with parameters
    3144         reference to instance of struct ofstream with body
    3145       ... returning nothing
    3146 
    3147       sepOn: function
    3148       ... with parameters
    3149         reference to instance of struct ofstream with body
    3150       ... returning
    3151         _Bool
    3152 
    3153       sepOff: function
    3154       ... with parameters
    3155         reference to instance of struct ofstream with body
    3156       ... returning
    3157         _Bool
    3158 
    3159       sepGet: function
    3160       ... with parameters
    3161         reference to instance of struct ofstream with body
    3162       ... returning
    3163         pointer to const char
    3164 
    3165       sepSet: function
    3166       ... with parameters
    3167         reference to instance of struct ofstream with body
    3168         pointer to const char
    3169       ... returning nothing
    3170 
    3171       sepGetTuple: function
    3172       ... with parameters
    3173         reference to instance of struct ofstream with body
    3174       ... returning
    3175         pointer to const char
    3176 
    3177       sepSetTuple: function
    3178       ... with parameters
    3179         reference to instance of struct ofstream with body
    3180         pointer to const char
    3181       ... returning nothing
    3182 
    3183       ends: function
    3184       ... with parameters
    3185         reference to instance of struct ofstream with body
    3186       ... returning nothing
    3187 
    3188       fmt: function
    3189       ... with parameters
    3190         reference to instance of struct ofstream with body
    3191         pointer to const char
    3192         and a variable number of other arguments
    3193       ... returning
    3194         signed int
     356      basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
     357      ... with parameters
     358        instance of struct ofstream with body
    3195359
    3196360
Note: See TracChangeset for help on using the changeset viewer.