FloatODE Type
bristlecone
CodedMap<float<MeasureProduct<parameter, MeasureOne>>> -> float<MeasureProduct<time index, MeasureOne>> -> float<MeasureProduct<state, MeasureOne>> -> ExternalEnvironment -> float<MeasureProduct<MeasureInverse<time index>, MeasureProduct<state, MeasureOne>>>
obj