Standard bounds

Author: eernstg

specification/dart.sty

@@ -425,6 +425,10 @@
 \newcommand{\FlattenName}{\metavar{flatten}}
 \newcommand{\Flatten}[1]{\ensuremath{\FlattenName(\code{#1})}}
 
+\newcommand{\NominalTypeDepthName}{\metavar{nominalTypeDepth}}
+\newcommand{\NominalTypeDepth}[1]{%
+  \ensuremath{\NominalTypeDepthName(\code{#1})}}
+
 \newcommand{\TopMergeTypeName}{\metavar{topMergeType}}
 \newcommand{\TopMergeType}[2]{%
   \ensuremath{\TopMergeTypeName(\code{{#1},\,\,{#2}})}}
@@ -445,16 +449,20 @@
 \newcommand{\IsNullType}[1]{\ensuremath{\IsNullTypeName(\code{#1})}}
 
 \newcommand{\IsMoreTopTypeName}{\metavar{isMoreTopType}}
-\newcommand{\IsMoreTopType}[2]{\ensuremath{\IsMoreTopTypeName(\code{{#1},\,\,{#2}})}}
+\newcommand{\IsMoreTopType}[2]{%
+  \ensuremath{\IsMoreTopTypeName(\code{{#1},\,\,{#2}})}}
 
 \newcommand{\IsMoreBottomTypeName}{\metavar{isMoreBottomType}}
-\newcommand{\IsMoreBottomType}[2]{\ensuremath{\IsMoreBottomTypeName(\code{{#1},\,\,{#2}})}}
+\newcommand{\IsMoreBottomType}[2]{%
+  \ensuremath{\IsMoreBottomTypeName(\code{{#1},\,\,{#2}})}}
 
 \newcommand{\NormalizedTypeOfName}{\metavar{normalizedType}}
-\newcommand{\NormalizedTypeOf}[1]{\ensuremath{\NormalizedTypeOfName(\code{#1})}}
+\newcommand{\NormalizedTypeOf}[1]{%
+  \ensuremath{\NormalizedTypeOfName(\code{#1})}}
 
 \newcommand{\FutureValueTypeOfName}{\metavar{futureValueType}}
-\newcommand{\FutureValueTypeOf}[1]{\ensuremath{\FutureValueTypeOfName(\code{#1})}}
+\newcommand{\FutureValueTypeOf}[1]{%
+  \ensuremath{\FutureValueTypeOfName(\code{#1})}}
 
 \newcommand{\UpperBoundTypeName}{\metavar{standardUpperBound}}
 \newcommand{\UpperBoundType}[2]{%
@@ -465,6 +473,10 @@
   \ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
 
 \newcommand{\DefEquals}[2]{\ensuremath{{#1}\stackrel{\vartriangle}{=}{#2}}}
+\newcommand{\DefEqualsNewline}[2]{
+  \ensuremath{{#1}\stackrel{\vartriangle}{=}}\\
+  \ensuremath{{#2}}%
+}
 
 % ----------------------------------------------------------------------
 % Support for hash valued Location Markers