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