module Cubical.HITs.Cost where

open import Cubical.HITs.Cost.Base