Module Inout.Context

module type S = sig ... end