Source code on Github
{-# OPTIONS --cubical-compatible #-}
module Class.HasMembership where

open import Class.HasMembership.Core public
open import Class.HasMembership.Instances public
open import Class.HasMembership.MapWith public