úÎi P  SafeF SA StepFunction is implemented as a default value and a sorted list of Transitions. The default value.The transitions. HA Transition, for a certain value on the x axis, there is a new y value.)The x value where the transition happens.The new y value.BIf True, y_val is for all x >= x_val, otherwise for all x > x_val.?Smart constructor sorts and simplifies the list of transitions.Get the y value for a given x. @Merge two step function, such that the following should be true: :valAt x (merge f sf1 sf2) == f (valAt x sf1) (valAt x sf2)¶The resulting step function will be simplified, transitions that don't change the y value will be eliminated, and transitions that happen on the same x position will be eliminated.              stepf_D5LgaJIZ7uiCJYMVvxKtArData.StepFunction StepFunction transitions Transitionx_valy_val left_closedmkStepFunctionvalAtmergedefleqx_posmergeT mergeLeft mergeRight mergeBothsimplify$fOrdTransition$fFunctorTransition