Searched refs:narrowRule (Results 1 – 1 of 1) sorted by relevance
1483 let narrowRule = ruleP ("fromIntegral/" ++ show tp ++ "->" ++ showT t) function1511 let rules' = narrowRule : extRule : signedRules ++ rules