line_name : (term -> string)
STRUCTURE
SYNOPSIS
Computes the line name of an equation.
LIBRARY
unwind
DESCRIPTION
line_name "!y1 ... ym. f x1 ... xn = t" returns the string `f`.
FAILURE
Fails if the argument term is not of the specified form.
SEEALSO
HOL  Trindemossen-1