| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Core
Documentation
d_IREL_24 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> T_Level_14 -> () Source #
d_IRel_44 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> T_Level_14 -> () Source #
d__'61''91'_'93''8658'__64 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> ()) -> () Source #