{-# OPTIONS --without-K --exact-split --safe #-}

module Fragment.Extensions.CSemigroup where

open import Fragment.Extensions.CSemigroup.Base using (CSemigroupFrex) public