== : hol_type quotation -> 'a -> hol_type
STRUCTURE
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
HOL  Kananaskis-13