Searched refs:locallyExtendPmDelta (Results 1 – 1 of 1) sorted by relevance
1150 locallyExtendPmDelta :: (Delta -> DsM (Maybe Delta)) -> DsM a -> DsM a1151 locallyExtendPmDelta ext k = getPmDelta >>= ext >>= \case function1161 locallyExtendPmDelta (\delta -> addTypeEvidence delta ev_vars)1172 locallyExtendPmDelta (\delta -> addVarCoreCt delta x scr_e) k1188 locallyExtendPmDelta (\delta -> computeCovered grds delta) k