liquid-base-4.14.0.0: src/Liquid/Prelude/Totality.spec

module spec Liquid.Prelude.Totality where

assume Control.Exception.Base.patError :: {v:GHC.Prim.Addr# | 5 <4 } -> a
assume Control.Exception.Base.recSelError :: {v:GHC.Prim.Addr# | 5 < 4 } -> a
assume Control.Exception.Base.nonExhaustiveGuardsError :: {v:GHC.Prim.Addr# | 5 < 4 } -> a
assume Control.Exception.Base.noMethodBindingError :: {v:GHC.Prim.Addr# | 5 < 4 } -> a