init.control.monad_fail ⟷ ?

Dependencies 7 + 1

Show graph

The unported dependencies are

• init.control.monad_fail
• init.logic
• init.control.applicative
• init.core
• init.control.functor
• init.data.prod
• init.control.lift
• init.control.monad