{-# OPTIONS --cubical-compatible #-}
module Class.PartialSemigroup where

open import Class.PartialSemigroup.Core public