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
bool_ty : hol_type
SYNOPSIS
The type `:bool`.
DESCRIPTION
This name is bound to the HOL type :bool.
FAILURE CONDITIONS
Not applicable.
USES
Exploiting the very common type :bool inside derived rules without the
inefficiency or inconvenience of calling a quotation parser or explicit
constructor.