///|
pub using @result_data {type StateVector, type ResultData, trait ResultValue}