Safe HaskellNone

MAlonzo.Code.Relation.Binary.Morphism.Definitions

Documentation

d_Homomorphic'8322'_20 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> () Source #