Database.Relational.Pi

Projection path

data Pi r0 r1

(<.>)

(<?.>)

(<?.?>)

id'

fst'

snd'