Module Biokepi_pipeline_edsl.Optimization_framework (.ml)

module Optimization_framework: sig .. end

This is “stolen” from "quel_o.ml" … i.e. the “Query optimization framework in tagless-final.”

The code is reusable for any optimization pass.

module type Trans_base = sig .. end

module type Transformation = sig .. end

module Define_transformation: 
functor (X : Trans_base) -> sig .. end

module Generic_optimizer: 
functor (X : Transformation) -> 
functor (Input : Semantics.Bioinformatics_base  with type 'a repr = 'a X.from) -> sig .. end