3 lines
56 B
Plaintext
3 lines
56 B
Plaintext
|
|
PartialOrderingRelation ? (\x,y -> abstractPart x y)
|
|
|
PartialOrderingRelation ? (\x,y -> abstractPart x y)
|