Prelude.Bags

Source code on Github

{-# OPTIONS --with-K #-}
open import Prelude.Init; open SetAsType
open import Prelude.DecEq

module Prelude.Bags where

open import
  -- ** pick implementation to export
  -- Prelude.Bags.AsMaps
  -- Prelude.Bags.AsPartialFunctions
  Prelude.Bags.AsLists
  public