% @(#)$Id: pretend_bool.lsl,v 1.2 1994/11/16 04:35:57 leavens Exp $
% trait for pretending that one has the C++ type bool
% when one is using "typedef int bool;" in C++.
pretend_bool: trait
  includes int
  introduces
    to_bool: Bool -> int
  asserts \forall b: Bool
    to_bool(b) == to_int(b)

[Index]

HTML generated using lcpp2html.