Construct an odometer that can spawn a compositor queryable.
Details
Required features: contrib
make_fully_adaptive_composition in Rust documentation.
Supporting Elements:
Input Domain
DI
Input Metric
MI
Output Measure
MO
Query
Measurement<DI, MI, MO, TO>
Answer
TO
Proof Definition: