module Check_S2_refines_S: functor (X : S) -> sig .. end
functor (
X
:
S
) ->
sig
end
type ('a, 'b) monad = 'a X.monad
('a, 'b)
'a X.monad
include struct ... end
module Monad_infix: sig .. end