vext-0.1.0.0: src-permute-indef/FinType.hsig

{-# language MagicHash #-}
{-# language KindSignatures #-}

signature FinType where

import FinRep (R)
import GHC.Exts (TYPE)
import Arithmetic.Types (Fin#)
import qualified GHC.TypeNats as GHC

data Finite# :: GHC.Nat -> TYPE R

weaken :: Finite# n -> Fin# n