Documentation

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

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

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

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

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

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

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

d__'8799'__48 ∷ T_Literal_124 → T_Literal_124 → T_Dec_20 Source #

d__'8801''7495'__246 ∷ T_Literal_124 → T_Literal_124 → Bool Source #