line_var
unwindLib.line_var : (term -> term)
Computes the line variable of an equation.
line_var "!y1 ... ym. f x1 ... xn = t" returns the variable "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