Documentation

d_Names_4 ∷ () Source #

d__'8776'__6 ∷ AgdaAny → AgdaAny → () Source #

d__'8776''63'__8 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #

d__'8799'__10 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #