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
constants : unit -> (string * hol_type) list
SYNOPSIS
Returns a list of the constants currently defined.
DESCRIPTION
The call
constants();;
returns a list of all the constants that have been defined so far.