Home
last modified time | relevance | path

Searched defs:KwField (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Parser/
H A DTokens.hs18 | KwForall | KwRecord | KwConstructor | KwField constructor
/dports/net/c3270/suite3270-4.0/include/
H A Dnames.h222 #define KwField "field" macro
/dports/x11/x3270/suite3270-4.0/include/
H A Dnames.h222 #define KwField "field" macro