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_showTag_10 ∷ T_SimplifierTag_4 → T_String_6 Source #

d_numSites'8242'_18 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → T__'8866'_14 → T__'8866'_14 → T_Translation_12 → Integer Source #

du_numSites'8242'_18 ∷ T__'8866'_14 → T__'8866'_14 → T_Translation_12 → Integer Source #

d_go_32 ∷ (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_12 → Integer Source #

du_go_32 ∷ T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_Translation_12 → Integer Source #

d_go'7504'_42 ∷ (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_18 → Integer Source #

du_go'7504'_42 ∷ T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_TransMatch_18 → Integer Source #

d_go'7510''695'_52 ∷ (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'_52 ∷ T__'8866'_14 → T__'8866'_14 → Integer → [T__'8866'_14] → [T__'8866'_14] → Integer → T_Pointwise_48 → Integer Source #

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

d_numSitesInline_132 ∷ 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_numSites_170 ∷ T__'8866'_14 → T__'8866'_14 → T_SimplifierTag_4 → AgdaAny → Maybe Integer Source #

d_showSites_190 ∷ T__'8866'_14 → T__'8866'_14 → T_SimplifierTag_4 → AgdaAny → T_String_6 Source #

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

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

d_showEvalResult_238 ∷ T_EvalResult_116 → T_String_6 Source #

d_showCostPair_250 ∷ [T_EvalResult_116] → T_String_6 Source #

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

du_tail_258 ∷ [AgdaAny] → [AgdaAny] Source #

d_reportPasses_268 ∷ Integer → T_Trace_62 → AgdaAny → [T_EvalResult_116] → T_String_6 Source #

d_reportFailure_284 ∷ T_Error_2 → T_String_6 Source #

d_makeReport_290 ∷ T_Either_6 T_Error_2 T_Σ_14 → [T_EvalResult_116] → T_String_6 Source #