% @(#) $Id: void.lsl,v 1.2 1995/11/13 16:24:07 leavens Exp $
void : trait
  includes NoInformation(void, theVoid for it)
  implies
    \forall x, y: void
       x == theVoid;
       x == y;

[Index]

HTML generated using lcpp2html.