Searched refs:opContrazipDecs (Results 1 – 2 of 2) sorted by relevance
2 opContrazipDecs,23 opContrazipDecs :: String -> Int -> [ Dec ]24 opContrazipDecs baseName arity = function
22 return (join (map (TH.opContrazipDecs "contrazip") (reverse [2..42])))