------------------------------------------------------------------------ -- Types with a default value. ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible #-} module Class.Default where open import Class.Default.Core public open import Class.Default.Instances public