Functor Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework (.ml)

module Apply_optimization_framework: 
functor (Input : Biokepi_pipeline_edsl.Semantics.Bioinformatics_base) -> sig .. end

Input is the input language.

Transformation_types defines a GADT that encodes the subset of the EDSL that is of interest to the transformation.

'a Transformation_types.term is designed to allow us to pattern match (in the function Transformation_types.bwd).

All the terms of the input language that are not relevant to the transformation are wrapped in Transformation_types.Unknown.

module Transformation_types: sig .. end

module Transformation: Biokepi_pipeline_edsl.Optimization_framework.Define_transformation(Transformation_types)

module Language_delta: sig .. end