Searched defs:NoPositivityCheck (Results 1 – 1 of 1) sorted by relevance
2748 data PositivityCheck = YesPositivityCheck | NoPositivityCheck constructor2756 NoPositivityCheck <> _ = NoPositivityCheck function