% @(#)$Id: bool_sugars.lsl,v 1.1 1997/06/13 02:12:15 leavens Exp $

bool_sugars: trait
  % assumes Boolean
  % in Larch/C++, bool is a synonym for Bool
  introduces
    !__: bool -> bool
    __&&__: bool, bool -> bool
    __||__: bool, bool -> bool
  asserts \forall b, b1, b2: bool
    !b == ~b;
    b1 && b2 == b1 /\ b2;
    b1 || b2 == b1 \/ b2;
  implies
    AC(&&, bool), AC(||, bool)

[Index]

HTML generated using lcpp2html.