Module Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation (.ml)

module Transformation: Biokepi_pipeline_edsl.Optimization_framework.Define_transformation(Transformation_types)

Applying this functor just adds functions that we don't use yet; so this could be simplified in the future.

include X

val fmap : ('a from -> 'b from) -> 'a term -> 'b term

val fmap2 : ('a from -> 'b from -> 'c from) -> 'a term -> 'b term -> 'c term