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