Index
| discreteBool | Data.Singletons.Bool | 
| eqCast | Data.Singletons.Bool | 
| eqToRefl | Data.Singletons.Bool | 
| fromSBool | Data.Singletons.Bool | 
| reflectBool | Data.Singletons.Bool | 
| reifyBool | Data.Singletons.Bool | 
| SBool | Data.Singletons.Bool | 
| sbool | Data.Singletons.Bool | 
| sboolAnd | Data.Singletons.Bool | 
| sboolEqRefl | Data.Singletons.Bool | 
| SBoolI | Data.Singletons.Bool | 
| sboolNot | Data.Singletons.Bool | 
| sboolOr | Data.Singletons.Bool | 
| SFalse | Data.Singletons.Bool | 
| STrue | Data.Singletons.Bool | 
| trivialRefl | Data.Singletons.Bool | 
| withSomeSBool | Data.Singletons.Bool |