Module Both_convert.One_way

module type S = sig ... end
module Make : functor (Model : sig ... end) -> sig ... end