Functor Monad.Check_S2_refines_S

module Check_S2_refines_S (X : S) : sig .. end

type ('a, 'd) t = 'a X.t 

include struct ... end

module Monad_infix: sig .. end