Home
last modified time | relevance | path

Searched defs:SpecT (Results 1 – 7 of 7) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Transform/
H A DSpecialize.hs33 type SpecT m a = StateT SpecCache (M.ModuleT m) a function
/dports/www/firefox-legacy/firefox-52.8.0esr/dom/bindings/
H A DDOMJSClass.h217 #define DO(SpecT, FieldName) \ argument
/dports/www/firefox-esr/firefox-91.8.0/dom/bindings/
H A DDOMJSClass.h326 #define DO(SpecT, FieldName) \ argument
/dports/lang/spidermonkey78/firefox-78.9.0/dom/bindings/
H A DDOMJSClass.h263 #define DO(SpecT, FieldName) \ argument
/dports/www/firefox/firefox-99.0/dom/bindings/
H A DDOMJSClass.h327 #define DO(SpecT, FieldName) \ argument
/dports/mail/thunderbird/thunderbird-91.8.0/dom/bindings/
H A DDOMJSClass.h326 #define DO(SpecT, FieldName) \ argument
/dports/lang/spidermonkey60/firefox-60.9.0/dom/bindings/
H A DDOMJSClass.h253 #define DO(SpecT, FieldName) \ argument