Searched defs:negatePmLit (Results 1 – 3 of 3) sorted by relevance
261 negatePmLit (PmLit ty v) = PmLit ty <$> go v function
297 negatePmLit (PmLit ty v) = PmLit ty <$> go v function