Documentation

d_SigTy_6 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

d_convSigTy_8 :: Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8801'__12 -> T_SigTy_266 -> T_SigTy_266 #

du_convSigTy_8 :: T_SigTy_266 -> T_SigTy_266 #

d_mkTy_10 :: Integer -> Integer -> T__'47'_'8866''8902'_26 -> T__'8866'Nf'8902'__4 #

d_sig2type_12 :: T_Sig_72 -> T__'8866'Nf'8902'__4 #

d_sig2typeΠ_14 :: Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #

d_sig2type'8658'_16 :: Integer -> Integer -> [T__'47'_'8866''8902'_26] -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #

d_sigTy2type_18 :: T_Ctx'8902'_2 -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 #

du_sigTy2type_18 :: T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #

d_'8866''9839'2TyNe'9839'_20 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'8866'Ne'8902'__6 #

d_btype_30 :: T_Ctx'8902'_2 -> T_Builtin_2 -> T__'8866'Nf'8902'__4 #

d_btype'45'ren_42 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'__12 #

d_btype'45'sub_56 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T__'8801'__12 #

d_subNf'45'Π_72 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T__'8866'Nf'8902'__4 -> T__'8801'__12 #

d_subSigTy_108 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_SigTy_266 #

du_subSigTy_108 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T_SigTy_266 -> T_SigTy_266 #

d__'91'_'93'SigTy_150 :: T_Ctx'8902'_2 -> T_Kind_766 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 #

du__'91'_'93'SigTy_150 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 #

d_uniqueSigTy_180 :: Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_Ctx'8902'_2 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_SigTy_266 -> T__'8801'__12 #