pub fn make_adaptive_composition<DI, DO, MI, MO>(
input_domain: DI,
output_domain: DO,
input_metric: MI,
output_measure: MO,
d_in_budget: MI::Distance,
d_out_budget: MO::Distance
) -> InteractiveMeasurement<DI, DO, MI, MO, AcState<DI, DO, MI, MO>, (Measurement<DI, DO, MI, MO>, <MO as Measure>::Distance)> where
DI: 'static + Domain,
DI::Carrier: Clone,
DO: 'static + Domain,
MI: 'static + Metric,
MI::Distance: 'static + MetricDistance + Clone,
MO: 'static + Measure,
MO::Distance: 'static + MeasureDistance + Clone,