% @(#) $Id: NoInformation.lsl,v 1.2 1995/11/13 18:18:58 leavens Exp $
NoInformation(T) : trait
  includes NoContainedObjects(T)
  introduces
    it: -> T
  asserts T generated by it
  implies
    \forall x, y: T
      x == it;
      x == y;

[Index]

HTML generated using lcpp2html.