Exception.spec

module spec Control.Exception where

-- Useless as compiled into GHC primitive, which is ignored
assume assert :: {v:Bool | Prop v } -> a -> a