boolTyCon | GHC.TypeLits.Presburger.Compat |
BuiltInSynFamily | |
1 (Data Constructor) | GHC.TypeLits.Presburger.Compat |
2 (Type/Class) | GHC.TypeLits.Presburger.Compat |
BuiltInSynFamTyCon | GHC.TypeLits.Presburger.Compat |
BuiltInTypeFlavour | GHC.TypeLits.Presburger.Compat |