imports/ctype.lcl

   1 /*
   2 ** ctype.h
   3 */
   4
   5 | int : bool | isalnum (| int : char | c ) { ensures true; }
   6 | int : bool | isalpha (| int : char | c ) { ensures true; }
   7 | int : bool | isascii (| int : char | c ) { ensures true; }
   8 | int : bool | iscntrl (| int : char | c ) { ensures true; }
   9 | int : bool | isdigit (| int : char | c ) { ensures true; }
  10 | int : bool | isgraph (| int : char | c ) { ensures true; }
  11 | int : bool | islower (| int : char | c ) { ensures true; }
  12 | int : bool | isprint (| int : char | c ) { ensures true; }
  13 | int : bool | ispunct (| int : char | c ) { ensures true; }
  14 | int : bool | isspace (| int : char | c ) { ensures true; }
  15 | int : bool | isupper (| int : char | c ) { ensures true; }
  16 | int : bool | isxdigit (| int : char | c ) { ensures true; }
  17 | int : char | toascii (| int : char | c ) { ensures true; }
  18 | int : char | tolower (| int : char | c ) { ensures true; }
  19 | int : char | toupper (| int : char | c ) { ensures true; }
  20