1
1
------------------------------------------------------------------------
2
4
-- Indexed binary relations
3
5
------------------------------------------------------------------------
7
7
module Relation.Binary.Indexed where
9
9
import Relation.Binary as B