Module One_way

Signature

module type S = sig .. end

module Make (Model : sig .. end) : sig .. end