liquidhaskell-0.8.10.7: liquid-parallel/src/Control/Parallel/Strategies.spec
module spec Control.Parallel.Strategies where
assume withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}
module spec Control.Parallel.Strategies where
assume withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}