module Semantics: sig .. end
sig
end
module type Lambda_calculus = sig .. end
module type Lambda_with_list_operations = sig .. end
module type Bioinformatics_base = sig .. end