Searched defs:prType (Results 1 – 9 of 9) sorted by relevance
29 #define TEST_PRESENCE(pr, prValid, prType, prStatus, prStatusMessage) \ argument
281 int prType; in main() local
183 prType = 32, enumerator
188 prType = 32, enumerator
589 OperatorType* prType = prSym->predType(); in doInference() local
77 val prType : Type -> unit; value
2498 fun prType prior tau = function2854 val prType = prType 0; value
75 val prType : Type -> unit; value
2577 fun prType prior tau = function2933 val prType = prType 0; value