Extreme types

Author: eernstg

specification/dart.sty

@@ -397,11 +397,12 @@
 \newcommand{\FlattenName}{\metavar{flatten}}
 \newcommand{\Flatten}[1]{\ensuremath{\FlattenName(\code{#1})}}
 
-\newcommand{\NnbdTopMergeName}{\metavar{topMerge}}
-\newcommand{\NnbdTopMerge}[2]{\ensuremath{\NnbdTopMergeName(\code{{#1},\,\,{#2}})}}
+\newcommand{\TopMergeTypeName}{\metavar{topMergeType}}
+\newcommand{\TopMergeType}[2]{%
+  \ensuremath{\TopMergeTypeName(\code{{#1},\,\,{#2}})}}
 
-\newcommand{\NonNullTypeOfName}{\metavar{nonNullType}}
-\newcommand{\NonNullTypeOf}[1]{\ensuremath{\NonNullTypeOfName(\code{#1})}}
+\newcommand{\NonNullTypeName}{\metavar{nonNullType}}
+\newcommand{\NonNullType}[1]{\ensuremath{\NonNullTypeName(\code{#1})}}
 
 \newcommand{\IsTopTypeName}{\metavar{isTopType}}
 \newcommand{\IsTopType}[1]{\ensuremath{\IsTopTypeName(\code{#1})}}