% @(#) $Id: NoContainedObjects.lsl,v 1.18 1997/07/31 01:31:45 leavens Exp $

NoContainedObjects(V) : trait
  includes PureValue(V),         % defines eval, allocated, assigned
           contained_objects(V)  % gives sort assumption
  asserts
    \forall v: V, st: State
    contained_objects(v, st) == {};

[Index]

HTML generated using lcpp2html.