Functor Monad.Check_S2_refines_S

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

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