% @(#)$Id: SmallCounterTrait.lsl,v 1.3 1997/07/25 03:06:28 leavens Exp $
SmallCounterTrait: trait
  includes CounterTrait,
           CounterTrait(SmallLimit for Limit)
  asserts
    equations
      SmallLimit < Limit;

[Index]

HTML generated using lcpp2html.