Searched refs:TC_Nullary (Results 1 – 4 of 4) sorted by relevance
337 TC_Nullary _ DoubleBracket _ -> return True536 TC_Nullary _ _ token -> markAsChecked t token
221 pattern TC_Nullary id typ token = OuterToken id (Inner_TC_Nullary typ token) function
1384 (TC_Nullary _ _ w@(T_NormalWord _ l)) -> do1412 checkConstantNullary _ (TC_Nullary _ _ t) | isConstant t =3017 TC_Nullary id _ token -> check id True token3087 (TC_Nullary _ typ token) -> do3947 TC_Nullary _ _ word ->4578 TC_Nullary {} -> True
610 return $ TC_Nullary id typ x