{-# OPTIONS --safe #-}

module Cubical.Categories.Constructions.Free.Category where

open import Cubical.Categories.Constructions.Free.Category.Base public