% @(#)$Id: NilTrait.lsl,v 1.3 1997/06/04 14:26:56 leavens Exp $
NilTrait: trait
  includes ListTrait, NoContainedObjects(EmptyList)
  introduces
    nil: -> EmptyList
    toList: EmptyList -> C
  asserts
    EmptyList generated by nil
    equations
    toList(nil) == empty

[Index]

HTML generated using lcpp2html.