Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcTypeNats.hs-boot
1 module TcTypeNats where
2
3 import TyCon (TyCon)
4
5 typeNatTyCons :: [TyCon]