% @(#) $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.