| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Sum
Documentation
d_isInj'8321'_16 :: T_Level_14 -> T_Level_14 -> () -> () -> T__'8846'__30 -> Maybe AgdaAny Source #
du_isInj'8321'_16 :: T__'8846'__30 -> Maybe AgdaAny Source #
d_isInj'8322'_22 :: T_Level_14 -> T_Level_14 -> () -> () -> T__'8846'__30 -> Maybe AgdaAny Source #
du_isInj'8322'_22 :: T__'8846'__30 -> Maybe AgdaAny Source #
d_From'45'inj'8321'_28 :: T_Level_14 -> T_Level_14 -> () -> () -> T__'8846'__30 -> () Source #
d_From'45'inj'8322'_36 :: T_Level_14 -> T_Level_14 -> () -> () -> T__'8846'__30 -> () Source #