== : hol_type quotation -> 'a -> hol_type
STRUCTURE
Parse
SYNOPSIS
Parses a quotation into a HOL type.
LIBRARY
Parse
DESCRIPTION
An invocation
==` ... `==
is identical to
Type ` ... `
.
FAILURE
As for
Parse.Type
.
USES
Turns strings into types.
SEEALSO
Term
HOL
Kananaskis-14