{-# OPTIONS --safe #-}
module Cubical.HITs.Cost where

open import Cubical.HITs.Cost.Base