TcTypeNats

typeNatTyCons

typeNatCoAxiomRules

data BuiltInSynFamily

typeNatAddTyCon

typeNatMulTyCon

typeNatExpTyCon

typeNatLeqTyCon

typeNatSubTyCon

typeNatCmpTyCon

typeSymbolCmpTyCon