{-# OPTIONS --safe #-}

module Cubical.Algebra.CommAlgebra.AsModule.FreeCommAlgebra where

open import Cubical.Algebra.CommAlgebra.AsModule.FreeCommAlgebra.Base public
open import Cubical.Algebra.CommAlgebra.AsModule.FreeCommAlgebra.Properties public