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

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

module README.Safe.Cubical-compatible.Prop where

-- Squashing.

import Squash