-- Monoidal categories
{-# OPTIONS --safe #-}

module Cubical.Categories.Monoidal where

open import Cubical.Categories.Monoidal.Base public
open import Cubical.Categories.Monoidal.Enriched public