line_name
unwindLib.line_name : (term -> string)
Computes the line name of an equation.
line_name "!y1 ... ym. f x1 ... xn = t" returns the string `f`.
Failure
Fails if the argument term is not of the specified form.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help