module spec Control.Exception where

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