Functor Monad.Check_S2_refines_S

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

type ('a, 'd) t = 'a X.t 
include struct ... end
module Monad_infix: sig .. end