% @(#)$Id: CounterTrait.lsl,v 1.4 1997/07/25 03:06:27 leavens Exp $
CounterTrait: trait
  includes unsignedInt
  introduces
    Limit: -> unsignedInt
  asserts
    equations
      0 < Limit;

[Index]

HTML generated using lcpp2html.