Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /papers/modulespaper/design/syntax.tex
ViewVC logotype

Annotation of /papers/modulespaper/design/syntax.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (view) (download) (as text)

1 : dbm 3564 \newcommand{\structure}{\ensuremath{\mathbf{structure}}}
2 :     \newcommand{\functor}{\ensuremath{\mathbf{functor}}}
3 :     \newcommand{\struct}[1]{\ensuremath{\mathbf{struct}\{#1\}}}
4 :     \newcommand{\inx}{\ensuremath{\mathsf{in}}}
5 :     \newcommand{\en}{\ensuremath{\mathbf{end}}}
6 :     \newcommand{\local}{\ensuremath{\mathbf{local}}}
7 :     \newcommand{\letx}{\ensuremath{\mathsf{let}}}
8 :     \newcommand{\letin}[2]{\ensuremath{\mathbf{let}~#1~\mathbf{in}~#2}}
9 :     \newcommand{\where}{\ensuremath{\mathbf{where}}}
10 :     \newcommand{\sig}[1]{\ensuremath{\mathbf{sig}\{#1\}}}
11 :     \newcommand{\type}{\ensuremath{\mathbf{type}}}
12 :     \newcommand{\eqtype}{\ensuremath{\mathbf{eqtype}}}
13 :     \newcommand{\val}{\ensuremath{\mathsf{val}}}
14 :     \newcommand{\sharing}{\ensuremath{\mathbf{sharing}}}
15 :     \newcommand{\incl}{\ensuremath{\mathbf{include}}}
16 :     \newcommand{\exception}{\ensuremath{\mathbf{exception}}}
17 :     \newcommand{\Int}{\ensuremath{\mathbf{int}}}
18 :     \newcommand{\signature}{\ensuremath{\mathbf{signature}}}
19 :     \newcommand{\open}{\ensuremath{\mathbf{open}}}
20 :     \newcommand{\newx}{\ensuremath{\mathsf{new}}}
21 :     \newcommand{\getx}{\ensuremath{\mathbf{get}}}
22 :     \newcommand{\EP}{\ensuremath{\mathsf{EP}}}
23 :     \newcommand{\inj}{\ensuremath{\mathsf{inj}}}
24 :     \newcommand{\env}{\ensuremath{\mathsf{env}}}
25 :     \newcommand{\an}[1]{\ensuremath{\langle\langle #1 \rangle\rangle}}
26 :     \newcommand{\dt}{\ensuremath{\mathbf{datatype}}}
27 :     \newcommand{\letins}[2]{\ensuremath{\mathsf{let}~#1~\mathsf{in}~#2}}
28 :     \newcommand{\tycon}{\ensuremath{\mathsf{tycon}}}
29 :     \newcommand{\sel}[1]{\ensuremath{\mathsf{sel}(#1)}}
30 :     \newcommand{\coerce}{\ensuremath{\mathsf{coerce}}}
31 :     \newcommand{\lettyc}[2]{\ensuremath{\mathsf{let~tyc}~#1~\mathsf{in}~#2}}
32 :     \newcommand{\lettycline}[2]{\ensuremath{\begin{array}{l}
33 :     \mathsf{let~tyc}~#1\\\mathsf{in}~#2\end{array}}}
34 :     \newcommand{\tyc}{\ensuremath{\mathsf{tyc}}}
35 :     \newcommand{\inlet}{\ensuremath{\mathsf{in~let}}}
36 :     \newcommand{\inv}{\ensuremath{\mathsf{inv}}}
37 :     \newcommand{\entpath}{\ensuremath{\mathsf{entpath}}}
38 :     \newcommand{\typ}{\ensuremath{\mathsf{typ}}}
39 :    
40 :     \newcommand{\Uclo}{\ensuremath{\Upsilon_{c}}}
41 :     \newcommand{\Uloc}{\ensuremath{\Upsilon_{l}}}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0