Safe Haskell	None

MAlonzo.Code.Function.Properties.RightInverse

Documentation

d_RightInverse'8658'Surjection_22 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_RightInverse_1024 -> T_Surjection_774 Source #

du_RightInverse'8658'Surjection_22 :: T_RightInverse_1024 -> T_Surjection_774 Source #

d_'8618''8658''8608'_50 :: T_Level_14 -> () -> T_Level_14 -> () -> T_RightInverse_1024 -> T_Surjection_774 Source #

du_'8618''8658''8608'_50 :: T_RightInverse_1024 -> T_Surjection_774 Source #