Documentation

d_'8649'__2 ∷ T_String_6 → T_String_6 Source #

d_nl_6 ∷ T_String_6 Source #

d_hl_8 ∷ T_String_6 Source #

d_showCertifiedOptTag_10 ∷ T_CertifiedOptTag_10 → T_String_6 Source #

d_showUncertifiedOptTag_12 ∷ T_UncertifiedOptTag_4 → T_String_6 Source #

d_showTag_14 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → T_String_6 Source #

d_numSites'8242'_26 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → T__'8866'_14 → T__'8866'_14 → T_Translation_8 → Integer Source #

du_numSites'8242'_26 ∷ T__'8866'_14 → T__'8866'_14 → T_Translation_8 → Integer Source #

d_go_40 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → T__'8866'_14 → T__'8866'_14 → (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_Translation_8 → Integer Source #

du_go_40 ∷ T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_Translation_8 → Integer Source #

d_go'7504'_50 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → T__'8866'_14 → T__'8866'_14 → (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_TransMatch_14 → Integer Source #

du_go'7504'_50 ∷ T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_TransMatch_14 → Integer Source #

d_go'7510''695'_60 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → T__'8866'_14 → T__'8866'_14 → (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → [T__'8866'_14] → [T__'8866'_14] → Integer → T_Pointwise_48 → Integer Source #

du_go'7510''695'_60 ∷ T__'8866'_14 → T__'8866'_14 → Integer → [T__'8866'_14] → [T__'8866'_14] → Integer → T_Pointwise_48 → Integer Source #

d_numSitesInline'7510''695'_122 ∷ Integer → (T_Fin_10 → T__'8866'_14) → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_48 → Integer Source #

d_numSitesInline_140 ∷ Integer → (T_Fin_10 → T__'8866'_14) → T__'8605'_28 → T__'8605'_28 → T__'8829'__102 → T__'8866'_14 → T__'8866'_14 → T_Inline_224 → Integer Source #

d_numSitesCaseReduce_178 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Fix_50 → Integer Source #

d_numSitesCaseReduce'42'_186 ∷ Integer → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_20 → Integer Source #

d_numSites_222 ∷ T__'8866'_14 → T__'8866'_14 → T_CertifiedOptTag_10 → AgdaAny → Integer Source #

d_showSites_248 ∷ T__'8866'_14 → T__'8866'_14 → T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → AgdaAny → T_String_6 Source #

d_termSize_256 ∷ Integer → T__'8866'_14 → Integer Source #

d_termSize'7510''695'_260 ∷ Integer → [T__'8866'_14] → Integer Source #

d_showEvalResult_282 ∷ T_EvalResult_138 → T_String_6 Source #

d_showCostPair_294 ∷ [T_EvalResult_138] → T_String_6 Source #

d_tail_302 ∷ () → [AgdaAny] → [AgdaAny] Source #

du_tail_302 ∷ [AgdaAny] → [AgdaAny] Source #

d_reportPasses_312 ∷ Integer → T_Trace_84 → AgdaAny → [T_EvalResult_138] → T_String_6 Source #

d_reportFailure_328 ∷ T_Error_2 → T_String_6 Source #

d_makeReport_334 ∷ T_Either_6 T_Error_2 T_Σ_14 → [T_EvalResult_138] → T_String_6 Source #