Documentation

d__'8866'_14 :: p -> () #

data T__'8866'_14 #

d_uglyDATA_64 :: T_DATA_608 -> T_String_6 #

du_uglyDATA_64 :: T_String_6 #

d_uglyTmCon_68 :: T_TmCon_202 -> T_String_6 #

d_uglyTmConList_72 :: T__'8866''9839'_4 -> T_List_444 AgdaAny -> T_String_6 #

d_showNat_118 :: Integer -> T_String_6 #

d_uglyBuiltin_120 :: T_Builtin_2 -> T_String_6 #

d_uglyList_124 :: Integer -> [T__'8866'_14] -> T_String_6 #

d_uglyList''_128 :: Integer -> [T__'8866'_14] -> T_String_6 #

d_ugly_132 :: Integer -> T__'8866'_14 -> T_String_6 #

d_extG_166 :: () -> (AgdaAny -> Integer) -> Maybe AgdaAny -> Integer #

du_extG_166 :: (AgdaAny -> Integer) -> Maybe AgdaAny -> Integer #

d_extricateUList_176 :: Integer -> [T__'8866'_14] -> T_List_444 T_Untyped_208 #

d_extricateU_180 :: Integer -> T__'8866'_14 -> T_Untyped_208 #

d_extricateU0_214 :: T__'8866'_14 -> T_Untyped_208 #

d_extG''_220 :: () -> (Integer -> T_Either_6 T_ScopeError_576 AgdaAny) -> Integer -> T_Either_6 T_ScopeError_576 (Maybe AgdaAny) #

du_extG''_220 :: (Integer -> T_Either_6 T_ScopeError_576 AgdaAny) -> Integer -> T_Either_6 T_ScopeError_576 (Maybe AgdaAny) #

d_scopeCheckUList_230 :: Integer -> T_List_444 T_Untyped_208 -> T_Either_6 T_ScopeError_576 [T__'8866'_14] #

d_scopeCheckU_234 :: Integer -> T_Untyped_208 -> T_Either_6 T_ScopeError_576 T__'8866'_14 #

d_scopeCheckU0_276 :: T_Untyped_208 -> T_Either_6 T_ScopeError_576 T__'8866'_14 #

d_decUTm_284 :: T_Untyped_208 -> T_Untyped_208 -> Bool #

d_buildDebruijnEncoding_320 :: () -> Integer -> T_Either_6 T_ScopeError_576 (Maybe AgdaAny) #

du_buildDebruijnEncoding_320 :: Integer -> T_Either_6 T_ScopeError_576 (Maybe AgdaAny) #

d_make'45'integer_326 :: T__'8866''9839'_4 #

d_con'45'integer_330 :: Integer -> Integer -> T__'8866'_14 #

du_con'45'integer_330 :: Integer -> T__'8866'_14 #