Safe Haskell	None

MAlonzo.Code.Mint.Statics.Properties.Box

Documentation

d_inv'45''9633''45'wf_8 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T__'8866'_'8758'__10 -> T_Σ_14 Source #

du_inv'45''9633''45'wf_8 :: T_Exp_70 -> T__'8866'_'8758'__10 -> T_Σ_14 Source #