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_reportPasses_244 ∷ Integer → T_Trace_60 → AgdaAny → T_String_6 Source #

d_reportFailure_258 ∷ T_Error_2 → T_String_6 Source #

d_makeReport_264 ∷ T_Either_6 T_Error_2 T_Σ_14 → T_String_6 Source #