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'_20 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → T__'8866'_14 → T__'8866'_14 → T_Translation_12 → Integer Source #

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

d_go_34 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → 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_34 ∷ Integer → T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_Translation_12 → Integer Source #

d_go'7504'_44 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → Integer → 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'_44 ∷ Integer → T__'8866'_14 → T__'8866'_14 → Integer → T__'8866'_14 → T__'8866'_14 → Integer → T_TransMatch_18 → Integer Source #

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

d_numSites_114 ∷ Integer → T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → T_Transformation_2 → Maybe Integer Source #

du_numSites_114 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Transformation_2 → Maybe Integer Source #

d_showSites_132 ∷ Integer → T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → T_Transformation_2 → T_String_6 Source #

du_showSites_132 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Transformation_2 → T_String_6 Source #

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

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

d_reportPasses_182 ∷ Integer → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_46 (T__'215'__396 T__'8866'_14 T__'8866'_14))) → Integer → T_CertResult_60 → T_String_6 Source #

d_makeReport_210 ∷ Integer → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_46 (T__'215'__396 T__'8866'_14 T__'8866'_14))) → T_CertResult_60 → T_String_6 Source #