module Optimization_framework: sig
.. end
module type Trans_base = sig
.. end
module type Transformation = sig
.. end
module Define_transformation:
Add the default implementations of the mapping functions
module Generic_optimizer: functor (
X
:
Transformation
) ->
functor (
Input
:
Semantics.Bioinformatics_base
with type 'a repr = 'a X.from
) ->
sig
.. end
The default, generic optimizer.