module Monad: Monad
module type Basic =sig
..end
module type Infix =sig
..end
module type S =sig
..end
module Make:
module type Basic2 =sig
..end
module type Infix2 =sig
..end
module type S2 =sig
..end
module Check_S2_refines_S:
module Make2: