Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/Treeless/
H A DCompare.hs42 applyPrim PQuot a b | b /= 0 = Just (quot a b) function
H A DPretty.hs79 opName PQuot = "quot" function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DTreeless.hs91 | PQuot | PQuot64 constructor