------------------------------------------------------------------------
-- Safe modules that use --cubical-compatible, --prop and
-- --erased-matches
------------------------------------------------------------------------

{-# OPTIONS --safe --cubical-compatible --prop --erased-matches #-}

module README.Safe.Cubical-compatible.Prop.Erased-matches where

-- Code related to Squash that uses --erased-matches.

import Squash.Erased-matches