module Monad_option: MonadPlus ÀwE E IÀxE E b@°ÀzE E IÀ
MonadPlus
ÀwE E IÀxE E b@°ÀzE E IÀ
include Deriving_monad.Monad
val mzero : 'a m
'a m
val mplus : 'a m -> 'a m -> 'a m
'a m -> 'a m -> 'a m