Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/rational.hfa

    r44e2a5a r92211d9  
    1212// Created On       : Wed Apr  6 17:56:25 2016
    1313// Last Modified By : Peter A. Buhr
    14 // Last Modified On : Fri Nov  8 17:02:09 2024
    15 // Update Count     : 126
     14// Last Modified On : Fri Oct  6 07:52:20 2023
     15// Update Count     : 122
    1616//
    1717
     
    2323// implementation
    2424
    25 forall( T ) {
     25forall( T | arithmetic( T ) ) {
    2626        struct rational {
    2727                T numerator, denominator;                                               // invariant: denominator > 0
    2828        }; // rational
    29 }
    3029
    31 forall( T | arithmetic( T ) ) {
    3230        // constructors
    3331
Note: See TracChangeset for help on using the changeset viewer.