Data.Fca

data Cid

data Concept o a

data Context o a

type Obj o

type Attr a

type Lattice

generateLattice