alternative version of stronger that unifies the input and output resources of the two computations
alternative version of stronger that unifies the input and output resources of the two computations

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar