Up
Module
Monad.Check_S2_refines_S.Monad_infix
module
Monad_infix:
sig
..
end
type
('a, 'b)
monad
=
'a X.monad