% @(#) $Id: NoInformationCoercion.lsl,v 1.1 1995/07/26 21:12:33 leavens Exp $

NoInformationCoercion(Sub, Super) : trait
  assumes NoInformation(Super)
  introduces
    toSuper: Sub -> Super
  asserts
    \forall s: Sub
       toSuper(s) == it

[Index]

HTML generated using lcpp2html.