% @(#)$Id: ArrayAssignedAuxFuns.lsl,v 1.2 1995/11/13 22:35:34 leavens Exp $

ArrayAssignedAuxFuns(T): trait
  includes
      ArrayAllocatedAuxFuns(T,
        assigned for allocated: T, int, State -> Bool,
        allAssigned for allAllocated,
        assignedInRange for allocatedInRange,
        assignedUpTo for allocatedUpTo)

[Index]

HTML generated using lcpp2html.