Documentation

d_meta'45'injective_8 ∷ AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #

d_nat'45'injective_14 ∷ Integer → Integer → T__'8801'__12 → T__'8801'__12 Source #

d_word64'45'injective_20 ∷ Word64 → Word64 → T__'8801'__12 → T__'8801'__12 Source #

d_float'45'injective_26 ∷ T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 Source #

d_char'45'injective_32 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 Source #

d_string'45'injective_38 ∷ T_String_6 → T_String_6 → T__'8801'__12 → T__'8801'__12 Source #

d_name'45'injective_44 ∷ AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #

d__'8799'__46 ∷ T_Literal_124 → T_Literal_124 → T_Dec_32 Source #