liquidhaskell-0.7.0.0: include/Control/Parallel/Strategies.spec

module spec Control.Parallel.Strategies where

assume withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}