fact: Definition StFBind(X Y : RSetoid) : (StepFS X) --> (X --> (StepFS Y)) --> (StepFS Y).
imports: CoRN.algebra.RSetoid CoRN.metric2.StepFunctionSetoid CoRN.model.structures.OpenUnit CoRN.tactics.CornTac CoRN.logic.CornBasics