Module Binable

module Binable: sig .. end

module type S = sig .. end
module type S1 = sig .. end
module type S2 = sig .. end