% @(#) $Id: ObjectContainer.lsl,v 1.1 1998/08/27 15:11:39 leavens Exp $

ContainerValue(V) : trait
  assumes State
  introduces
    eval: V, State -> V
    allocated, assigned: V, State -> Bool
  asserts
    \forall v: V, st: State
    eval(v, st) == v;
    allocated(v, st);
    assigned(v, st);

[Index]

HTML generated using lcpp2html.