Module Set_lang_intf

module Set_lang_intf: sig .. end

module type S_eval = sig .. end
type 'a value = 'a 
module type S_lang = sig .. end
module type S = sig .. end
module type S_binable = sig .. end