Documentation

d__'42'H__8 :: Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #

d__'42'HN__10 :: Integer -> T_HNF_444 -> T_Normal_446 -> T_HNF_444 Source #

d__'42'N__12 :: Integer -> T_Normal_446 -> T_Normal_446 -> T_Normal_446 Source #

d__'42'NH__14 :: Integer -> T_Normal_446 -> T_HNF_444 -> T_HNF_444 Source #

d__'42'x'43'H__20 :: Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #

d__'42'x'43'HN__22 :: Integer -> T_HNF_444 -> T_Normal_446 -> T_HNF_444 Source #

d__'43'H__24 :: Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #

d__'43'N__26 :: Integer -> T_Normal_446 -> T_Normal_446 -> T_Normal_446 Source #

d__'58''42'__28 :: T_Polynomial_356 -> T_Polynomial_356 -> T_Polynomial_356 Source #

d__'58''43'__30 :: T_Polynomial_356 -> T_Polynomial_356 -> T_Polynomial_356 Source #

d__'58''45'__32 :: T_Polynomial_356 -> T_Polynomial_356 -> T_Polynomial_356 Source #

d__'8860'__34 :: Integer -> T_Polynomial_356 -> T_Polynomial_356 -> T_Σ_14 Source #

d__'58''215'__38 :: Integer -> Integer -> T_Polynomial_356 -> T_Polynomial_356 Source #

d__'94'N__40 :: Integer -> T_Normal_446 -> Integer -> T_Normal_446 Source #

d__'8776'H__42 :: p1 -> p2 -> p3 -> () Source #

d__'8776'N__44 :: p1 -> p2 -> p3 -> () Source #

d__'8799'H__46 :: Integer -> T_HNF_444 -> T_HNF_444 -> Maybe T__'8776'H__486 Source #

d__'8799'N__48 :: Integer -> T_Normal_446 -> T_Normal_446 -> Maybe T__'8776'N__490 Source #

d_'42'H'45'homo_50 :: Integer -> T_HNF_444 -> T_HNF_444 -> T_Vec_28 -> T__'8801'__12 Source #

d_'42'HN'45'homo_52 :: Integer -> T_HNF_444 -> T_Normal_446 -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_'42'N'45'homo_54 :: Integer -> T_Normal_446 -> T_Normal_446 -> T_Vec_28 -> T__'8801'__12 Source #

d_'42'NH'45'homo_56 :: Integer -> T_Normal_446 -> T_HNF_444 -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_'42'x'43'H'45'homo_58 :: Integer -> T_HNF_444 -> T_HNF_444 -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_'42'x'43'HN'8776''42'x'43'_60 :: Integer -> T_HNF_444 -> T_Normal_446 -> T_Vec_28 -> T__'8801'__12 Source #

d_'43'H'45'homo_62 :: Integer -> T_HNF_444 -> T_HNF_444 -> T_Vec_28 -> T__'8801'__12 Source #

d_'43'N'45'homo_64 :: Integer -> T_Normal_446 -> T_Normal_446 -> T_Vec_28 -> T__'8801'__12 Source #

d_'45'H__66 :: Integer -> T_HNF_444 -> T_HNF_444 Source #

d_'45'H'8255''45'homo_68 :: Integer -> T_HNF_444 -> T_Vec_28 -> T__'8801'__12 Source #

d_'45'N__70 :: Integer -> T_Normal_446 -> T_Normal_446 Source #

d_'45'N'8255''45'homo_72 :: Integer -> T_Normal_446 -> T_Vec_28 -> T__'8801'__12 Source #

d_0H_74 :: Integer -> T_HNF_444 Source #

du_0H_74 :: T_HNF_444 Source #

d_0N_76 :: Integer -> T_Normal_446 Source #

d_0N'45'homo_78 :: Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_0'8776''10214'0'10215'_80 :: Integer -> T_Normal_446 -> T__'8776'N__490 -> T_Vec_28 -> T__'8801'__12 Source #

d_1H_82 :: Integer -> T_HNF_444 Source #

d_1N_84 :: Integer -> T_Normal_446 Source #

d_1N'45'homo_86 :: Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_HNF_90 :: p -> () Source #

d_Normal_92 :: p -> () Source #

d_Op_94 :: () Source #

d_Polynomial_96 :: p -> () Source #

d_'94'N'45'homo_102 :: Integer -> T_Normal_446 -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_correct_110 :: Integer -> T_Polynomial_356 -> T_Vec_28 -> T__'8801'__12 Source #

d_correct'45'con_112 :: Integer -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_correct'45'var_114 :: Integer -> T_Fin_6 -> T_Vec_28 -> T__'8801'__12 Source #

d_normalise_116 :: Integer -> T_Polynomial_356 -> T_Normal_446 Source #

d_normalise'45'con_118 :: Integer -> Integer -> T_Normal_446 Source #

d_normalise'45'var_120 :: Integer -> T_Fin_6 -> T_Normal_446 Source #

d_prove_128 :: Integer -> T_Vec_28 -> T_Polynomial_356 -> T_Polynomial_356 -> T__'8801'__12 -> T__'8801'__12 Source #

d_sem_130 :: T_Op_348 -> Integer -> Integer -> Integer Source #

d_solve_132 :: Integer -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8709''42'x'43'HN'45'homo_140 :: Integer -> T_Normal_446 -> Integer -> T_Vec_28 -> T__'8801'__12 Source #

d_'10214'_'10215'_142 :: Integer -> T_Polynomial_356 -> T_Vec_28 -> Integer Source #

d_'10214'_'10215'H_144 :: Integer -> T_HNF_444 -> T_Vec_28 -> Integer Source #

d_'10214'_'10215'H'45'cong_146 :: Integer -> T_HNF_444 -> T_HNF_444 -> T__'8776'H__486 -> T_Vec_28 -> T__'8801'__12 Source #

d_'10214'_'10215'N_148 :: Integer -> T_Normal_446 -> T_Vec_28 -> Integer Source #

d_'10214'_'10215'N'45'cong_150 :: Integer -> T_Normal_446 -> T_Normal_446 -> T__'8776'N__490 -> T_Vec_28 -> T__'8801'__12 Source #

d_'10214'_'10215''8595'_152 :: Integer -> T_Polynomial_356 -> T_Vec_28 -> Integer Source #