Searched refs:lookupSinglePatternSyn (Results 1 – 1 of 1) sorted by relevance
401 defs <- traverse lookupSinglePatternSyn xs406 lookupSinglePatternSyn :: QName -> TCM PatternSynDefn407 lookupSinglePatternSyn x = do function