{-# OPTIONS --without-K --safe #-}
module Categories.Double where

-- The main definitions are in:
open import Categories.Double.Core public