Searched refs:TCBit (Results 1 – 6 of 6) sorted by relevance
75 TCon (TC TCBit) [] -> SolvedIf []116 TCon (TC TCBit) [] -> SolvedIf []165 TCon (TC TCBit) [] -> Unsolvable216 TCon (TC TCBit) [] -> Unsolvable241 TCon (TC TCBit) [] -> Unsolvable283 TCon (TC TCBit) [] -> Unsolvable326 TCon (TC TCBit) [] -> SolvedIf []366 TCon (TC TCBit) [] -> SolvedIf []421 TCon (TC TCBit) [] -> Unsolvable525 | TCon (TC TCBit) [] <- ety ->[all …]
62 , "Bit" ~> TC TCBit137 TCBit -> KType232 | TCBit -- ^ Bit constructor331 TCBit -> text "Bit"
132 aBit = tc TCBit ar0
447 TCon (TC TCBit) [] -> True621 tBit = TCon (TC TCBit) []973 (TCBit, []) -> text "Bit"979 (TCSeq, [t1,TCon (TC TCBit) []]) -> brackets (go 0 t1)
374 P.TBit -> tcon (TC TCBit) [] k
134 (TCBit, []) -> Right $ TVBit