{-# OPTIONS --safe #-}
module Foundations.IdentitySystem where

open import Foundations.IdentitySystem.Base      public
open import Foundations.IdentitySystem.Interface public
open import Foundations.IdentitySystem.Strict    public
