% @(#)$Id: NumeralsTrait.lsl,v 1.1 1995/06/12 22:40:26 leavens Exp $

% This would have to be specialized to a particular character set.

NumeralsTrait: trait
  includes char
  introduces
    zero, one, two, three, four, five, six, seven, eight, nine: -> char
    minus: -> char
    plus: -> char
    isNumeral: char -> Bool
  asserts
    \forall c: char
    isNumeral(c) ==
        (c = zero) \/ (c = one) \/ (c = two) \/ (c = three) \/ (c = four)
        \/ (c = five) \/ (c = six) \/ (c = seven) \/ (c = eight) \/ (c = nine)

[Index]

HTML generated using lcpp2html.