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

open import Cubical.HITs.FreeAbGroup.Base public