Loading [Contrib]/a11y/accessibility-menu.js

 

Safe HaskellNone

MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Definitions

Documentation

d_Reflexive_20 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> ()) -> () Source #

d_Symmetric_28 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> ()) -> () Source #

d_Transitive_38 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> ()) -> () Source #