------------------------------------------------------------------------
-- Safe modules that use --erased-cubical and --prop
------------------------------------------------------------------------

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

module README.Safe.Cubical.Erased.Prop where

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

import Squash.Cubical