-- : term quotation -> 'a -> term
STRUCTURE
Parse
SYNOPSIS
Parses a quotation into a term value
LIBRARY
Parse
DESCRIPTION
An invocation
--` ... `--
is identical to
Term ` ... `
.
FAILURE
As for
Parse.Term
.
USES
Turns strings into terms.
SEEALSO
Term
,
==
HOL
Kananaskis-10