| Safe Haskell | None |
|---|
MAlonzo.Code.Data.List.Relation.Binary.Subset.Setoid
Documentation
d__'8838'__44 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () Source #
d__'8839'__52 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () Source #
d__'8840'__54 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () Source #
d__'8841'__60 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () Source #