% @(#) $Id: int.lsl,v 1.11 1995/11/09 21:22:39 leavens Exp $
int(int): trait
  includes short(int, INT_MIN for SHRT_MIN, INT_MAX for SHRT_MAX)
  introduces
    to_bool, to_LSL_Bool: int -> Bool
    to_int: Bool -> int
  asserts
    \forall i: int
      to_int(false) == 0;
      ~(to_int(true) = 0);
      to_bool(i) == ~(i = 0);
      to_LSL_Bool(i) == to_bool(i);

[Index]

HTML generated using lcpp2html.