Previous  Up  

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

module Language_delta: sig .. end
Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Language_delta is where we “intercept” the terms of the language that are interesting.

For all the other ones Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.fwd will be used by Biokepi_pipeline_edsl.Optimization_framework.Generic_optimizer.

val apply : ('a -> 'b)
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'a
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'b
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val lambda : ('a
        Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
        'b
        Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term) ->
       ('a -> 'b)
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val list : 'a
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
       list ->
       'a list
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val list_map : 'a list
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       f:('a -> 'b)
         Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'b list
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val pair : 'a
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'b
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       ('a * 'b)
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val pair_first : ('a * 'b)
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'a
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term
val pair_second : ('a * 'b)
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term ->
       'b
       Biokepi_pipeline_edsl.Transform_applications.Apply_optimization_framework.Transformation_types.term