liquid-parallel-3.2.2.0: src/Control/Parallel/Strategies.spec

module spec Control.Parallel.Strategies where

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