(Input : Semantics.Bioinformatics_base) = struct   module The_pass = Apply_optimization_framework(Input)   

(** We populate the module with the default implementations (which do nothing). *)

  include Optimization_framework.Generic_optimizer(The_pass.Transformation)(Input)   

(** We override the few functions we're interested in. *)

  include The_pass.Language_delta end