% @(#)$Id: ArrayAllocAuxSig.lsl,v 1.1 1995/07/26 04:11:08 leavens Exp $

ArrayAllocAuxSig(T): trait
  assumes int, State
  introduces
    allocated: T, int, State -> Bool
    minIndex, maxIndex: T -> int

[Index]

HTML generated using lcpp2html.