Module Biokepi_pipeline_edsl.Transform_applications (.ml)

module Transform_applications: sig .. end


We use here the Biokepi_pipeline_edsl.Optimization_framework module to apply a bit more than Β-reduction: we also try to apply the List_repr.map, and build List_repr.make values.

This optimization-pass is a good example of use of the Biokepi_pipeline_edsl.Optimization_framework.

module Apply_optimization_framework: 
functor (Input : Biokepi_pipeline_edsl.Semantics.Bioinformatics_base) -> sig .. end
module Apply: 
functor (Input : Biokepi_pipeline_edsl.Semantics.Bioinformatics_base) -> sig .. end
Biokepi_pipeline_edsl.Transform_applications.Apply is the entry point that transforms EDSL terms.