Representation for EmptyDenseSet.
Representation for EmptyDenseSet. Is the base case to build a DenseSetRep
Harshad Deo
0.3.3
Builds a representation for NonEmptyDenseSet.
Builds a representation for NonEmptyDenseSet. Is the induction case to build a DenseSetRep
Harshad Deo
0.3.3
Contains implicit definitions to build a DenseSetRep
Author:
Harshad Deo
0.3.3