module Liquid.Prelude.Totality where

import "base" Control.Exception.Base