diff --git a/dhall/common.dhall b/dhall/common.dhall index 0a0ef72..de043d2 100644 --- a/dhall/common.dhall +++ b/dhall/common.dhall @@ -182,5 +182,9 @@ in { nullSplit , mvDenP , mvDenN , PartSplit + , d + , d_ + , dec + , dec2 } /\ T