liquidhaskell-0.8.10.7: liquid-base/src/Control/Exception.spec
module spec Control.Exception where
// Useless as compiled into GHC primitive, which is ignored
assume assert :: {v:Bool | v } -> a -> a
module spec Control.Exception where
// Useless as compiled into GHC primitive, which is ignored
assume assert :: {v:Bool | v } -> a -> a