Functor Biokepi_pipeline_edsl.Optimization_framework.Define_transformation (.ml)

module Define_transformation: 
functor (X : Trans_base) -> sig .. end

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