{-# OPTIONS --safe #-}

module Multiset.Tote where

open import Multiset.Tote.Base public
open import Multiset.Tote.Properties public