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

open import Class.PartialMonoid.Core public