Documentation

type Tag = DefaultFun -> UTerm #

pattern C_UDelay_222 :: UTerm -> UTerm #

pattern C_UForce_224 :: UTerm -> UTerm #

pattern C_UConstr_226 :: Integer -> [UTerm] -> UTerm #

pattern C_UCase_228 :: UTerm -> [UTerm] -> UTerm #

check_UVar_210 :: Integer -> T_Untyped_208 #

check_ULambda_212 :: T_Untyped_208 -> T_Untyped_208 #

check_UApp_214 :: T_Untyped_208 -> T_Untyped_208 -> T_Untyped_208 #

check_UCon_216 :: T_TagCon_106 -> T_Untyped_208 #

check_UError_218 :: T_Untyped_208 #

check_UBuiltin_220 :: T_Builtin_2 -> T_Untyped_208 #

check_UDelay_222 :: T_Untyped_208 -> T_Untyped_208 #

check_UForce_224 :: T_Untyped_208 -> T_Untyped_208 #

check_UConstr_226 :: Integer -> T_List_444 T_Untyped_208 -> T_Untyped_208 #

check_UCase_228 :: T_Untyped_208 -> T_List_444 T_Untyped_208 -> T_Untyped_208 #

cover_Untyped_208 :: UTerm -> () #

d_tag2TyTag_232 :: () -> T_Tag_28 AgdaAny -> T__'8866''9839'_4 #

du_tag2TyTag_232 :: T_Tag_28 AgdaAny -> T__'8866''9839'_4 #

d_tagLemma_246 :: () -> T_Tag_28 (T_Esc_24 AgdaAny) -> T__'8801'__12 #

d_tagCon2TmCon_256 :: T_TagCon_106 -> T_TmCon_202 #

d_tyTag2Tag_310 :: T__'8866''9839'_4 -> T_Σ_14 #

d_tyTagLemma_358 :: T__'8866''9839'_4 -> T__'8801'__12 #

d_tmCon2TagCon_368 :: T_TmCon_202 -> T_TagCon_106 #