FLRP.Closure

This is the FLRP.Closure module of the Agda Universal Algebra Library.

{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module FLRP.Closure where

open import FLRP.Closure.Basic public
open import FLRP.Closure.Product public
open import FLRP.Closure.OrdinalSum public