Ignore:
Timestamp:
Jun 6, 2023, 8:39:07 AM (13 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ast-experimental, master
Children:
541dbc09
Parents:
874b16e
Message:

make trait names not, equality, relational, additive, inc_dec, multiplicative, arithmetic, lower-case

File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/parseconfig.hfa

    r874b16e r6a93e4d  
    107107
    108108
    109 forall(T | Relational( T ))
     109forall(T | relational( T ))
    110110[ bool ] is_nonnegative( & T );
    111111
    112 forall(T | Relational( T ))
     112forall(T | relational( T ))
    113113[ bool ] is_positive( & T );
    114114
    115 forall(T | Relational( T ))
     115forall(T | relational( T ))
    116116[ bool ] is_nonpositive( & T );
    117117
    118 forall(T | Relational( T ))
     118forall(T | relational( T ))
    119119[ bool ] is_negative( & T );
    120120
Note: See TracChangeset for help on using the changeset viewer.