User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:types:eql [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Type Specifier EQL ======
 +
 +====Compound Type Specifier Kind====
 +Combining.
 +
 +====Compound Type Specifier Syntax====
 +//**eql** object//
 +
 +====Compound Type Specifier Arguments====
 +//object// - an //​[[CL:​Glossary:​object]]//​.
 +
 +====Compound Type Specifier Description====
 +Represents the //​[[CL:​Glossary:​type]]//​ of all //x// for which ''​([[CL:​Functions:​eql]] //object// //​x//​)''​ is true.
 +
 +The argument //object// is required. The //object// can be **[[CL:​Types:​wildcard|*]]**,​ but if so it denotes itself (the symbol **[[CL:​Types:​wildcard|*]]**) and does not represent an unspecified value. The //​[[CL:​Glossary:​symbol]]//​ **eql** is not valid as an //​[[CL:​Glossary:​atomic type specifier]]//​.
 +
 +\issue{TYPE-SPECIFIER-ABBREVIATION:​X3J13-JUN90-GUESS}