# LANGUAGE UndecidableInstances #
module Sequoia.Connective.Assertion
( -- * Connectives
  module Sequoia.Connective.NotUntrue
, module Sequoia.Connective.True
) where

import Sequoia.Connective.NotUntrue
import Sequoia.Connective.True

 * Connectives
# LANGUAGE UndecidableInstances #
module Sequoia.Connective.Assertion
  module Sequoia.Connective.NotUntrue
, module Sequoia.Connective.True
) where

import Sequoia.Connective.NotUntrue
import Sequoia.Connective.True
