Searched refs:piap (Results 1 – 5 of 5) sorted by last modified time
237368 piapé/B
1719 M: Krzysztof Halasa <khalasa@piap.pl>1966 M: Krzysztof Halasa <khalasa@piap.pl>9239 M: Krzysztof Halasa <khalasa@piap.pl>
25 , piap142 piap :: PatchInfo -> p wA wB -> PatchInfoAndG rt p wA wB143 piap i p = PIAP i (Hopefully $ Actually p) function147 n2pia x = ident x `piap` x279 return $ (ident y `piap` y') :> (ident x `piap` x')287 return $ (ident y `piap` y') :/\: (ident x `piap` x')294 y' :/\: x' -> (ident y `piap` y') :/\: (ident x `piap` x')