Safe Haskell	None

MAlonzo.Code.Function.Properties.Surjection

Documentation

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

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

d_'8608''8658''8660'_84 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Surjection_774 -> T_Equivalence_928 Source #

du_'8608''8658''8660'_84 :: T_Surjection_774 -> T_Equivalence_928 Source #