%export real
        plus negative minus
        create_real trit_expansion

|| REALS IMPLEMENTED AS FLOATING-POINT TRITSTREAMS: DEFINITION MODULE

|| TYPES

|| the basic type "real"

abstype real
with

     || arithmetical operations

     plus     :: real -> real -> real
     negative :: real -> real
     minus    :: real -> real -> real

     || conversion facilities

     || conversion between reals and explicit exponent-mantissa pairs

     create_real    :: (num, [tritsign]) -> real
     trit_expansion :: real -> (num, [tritsign])

     || print-representation for type real

     showreal :: real -> [char]




|| other user-level types

tritsign == char || '-' | '0' | '+'








|| MINIMALIST SYNTACTIC HOOKS

%include "reals.mod"

real          == rep_real

plus           = rep_plus
negative       = rep_negative
minus          = rep_minus

create_real    = rep_create_real
trit_expansion = rep_trit_expansion

showreal       = rep_showreal
