line_name : (term -> string)
STRUCTURE
unwindLib
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
line_var
HOL
Kananaskis-14