diff --git a/dhall/common.dhall b/dhall/common.dhall index a8ca0ab..9c1ee71 100644 --- a/dhall/common.dhall +++ b/dhall/common.dhall @@ -156,5 +156,7 @@ in { cron1 , mvDenP , mvDenN , PartEntry + , nullEntry + , nullMod } /\ T