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
get_const_type : string -> hol_type
SYNOPSIS
Gets the generic type of a constant from the name of the constant.
DESCRIPTION
get_const_type "c" returns the generic type of `c`, if `c` is a constant.
FAILURE CONDITIONS
get_const_type st fails if st is not the name of a constant.
EXAMPLE
# get_const_type "COND";;
val it : hol_type = `:bool->A->A->A`