Functor Monad.Check_S2_refines_S

module Check_S2_refines_S: 
functor (X : S) -> sig .. end

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

include struct ... end

module Monad_infix: sig .. end