% @(#)$Id: PointerAssignedAuxFuns.lsl,v 1.2 1995/07/26 04:26:19 leavens Exp $

PointerAssignedAuxFuns(PtrT): trait
  includes PointerAllocatedAuxFuns(PtrT,
        assigned for allocated: PtrT, State -> Bool,
        assigned for allocated: PtrT, int, State -> Bool,
        assignedUpTo for allocatedUpTo,
        allAssigned for allAllocated,
        assignedInRange for allocatedInRange)

[Index]

HTML generated using lcpp2html.