4 ms·Refinement Types is the answer. See Liquid Haskell, F*, Dafny etc.by mbrodersen 5y agoRefinement Types is the answer. See Liquid Haskell, F*, Dafny etc.