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

name_of : term -> string

SYNOPSIS

Gets the name of a constant or variable.

DESCRIPTION

When applied to a term that is either a constant or a variable, name_of returns its name (its true name, even if there is an interface mapping for it in effect). When applied to any other term, it returns the empty string.

FAILURE CONDITIONS

Never fails.

EXAMPLE

  # name_of `x:int`;;
  val it : string = "x"

  # name_of `SUC`;;
  val it : string = "SUC"

  # name_of `x + 1`;;
  val it : string = ""

SEE ALSO

dest_const, dest_var.