| Safe Haskell | None |
|---|
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 #