Exception.spec

module spec Control.Exception where

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