Connection.agda

{-# OPTIONS --without-K #-}

module Connection where
  open import Basics
  open import lib.types.Modality

  
  module _ {i : _} {M : Modality i} where