Functor Monad.Check_S2_refines_S


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

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