Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
is_reserved_word : string -> bool
SYNOPSIS
Tests if a string is one of the reserved words.
DESCRIPTION
Certain identifiers in HOL are reserved, e.g. `if', `let' and `|',
meaning that they are special to the parser and cannot be used as ordinary
identifiers. The call is_reserved_word s tests if the string s is one of
them.