MAlonzo.Code.Reflection.AST.Meta
d__'8776'__6 ∷ AgdaAny → AgdaAny → () Source #
d__'8776''63'__8 ∷ AgdaAny → AgdaAny → T_Dec_20 Source #
d__'8799'__10 ∷ AgdaAny → AgdaAny → T_Dec_20 Source #