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_12 → 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_12 → 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_numSitesInline'8314'_176 ∷ T__'8866'_14 → T__'8866'_14 → T_Inline'8314'_726 → Integer Source #

d_numSites_190 ∷ T__'8866'_14 → T__'8866'_14 → T_CertifiedOptTag_12 → AgdaAny → Integer Source #

d_showSites_216 ∷ T__'8866'_14 → T__'8866'_14 → T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12 → AgdaAny → T_String_6 Source #

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

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

d_showEvalResult_250 ∷ T_EvalResult_136 → T_String_6 Source #

d_showCostPair_262 ∷ [T_EvalResult_136] → T_String_6 Source #

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

du_tail_270 ∷ [AgdaAny] → [AgdaAny] Source #

d_reportPasses_280 ∷ Integer → T_NonEmptySep_104 (T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) (T_Hints_92 T__'8866'_14)) T__'8866'_14 → AgdaAny → [T_EvalResult_136] → T_String_6 Source #

d_reportFailure_296 ∷ T_Error_2 → T_String_6 Source #

d_makeReport_302 ∷ T_Either_6 T_Error_2 T_Σ_14 → [T_EvalResult_136] → T_String_6 Source #