liquid-base-4.14.0.0: src/GHC/TypeNats.hs

module GHC.TypeNats (module Exports) where

import "base" GHC.TypeNats as Exports