<html> <head> <title>SaC EBNF Grammar</title> <!–Generated on Wed Nov 2 15:01:07 2016 by LaTeXML (version 0.8.2) http://dlmf.nist.gov/LaTeXML/.–> <!–Document created on November 2, 2016.–>
<meta http-equiv=“Content-Type” content=“text/html; charset=UTF-8”> <style> .ltx_page_header, .ltx_page_footer { font-size:0.8em; } .ltx_page_header *[rel~=“prev”], .ltx_page_footer *[rel~=“prev”] { float:left; } .ltx_page_header *[rel~=“up”], .ltx_page_footer *[rel~=“up”] { display:block; text-align:center; } .ltx_page_header *[rel~=“next”], .ltx_page_footer *[rel~=“next”] { float:right; } .ltx_page_header li {
padding:0.1em 0.2em 0.1em 1em;}
.ltx_page_content { clear:both; } .ltx_page_header { border-bottom:1px solid; margin-bottom:5px; } .ltx_page_footer { clear:both; border-top:1px solid; margin-top:5px; }
.ltx_page_header:after, .ltx_page_footer:after, .ltx_page_content:after {
content:"."; display:block; height:0; clear:both; visibility:hidden; }
.ltx_page_footer:before {
content:"."; display:block; height:0; clear:both; visibility:hidden; }
.ltx_page_logo { font-size:80%; margin-top: 5px; clear:both; float:right; } .ltx_page_logo a { font-variant: small-caps; } .ltx_page_logo img { vertical-align:-3px; } .ltx_page_navbar li { white-space:nowrap; display:block; overflow:hidden; } .ltx_page_navbar li span.ltx_ref { white-space:normal; overflow:visible; } .ltx_pagination.ltx_role_newpage { height:2em; } .ltx_title { font-size:100%; font-weight:normal; } .ltx_runin { display:inline; } .ltx_runin:after { content:“ ”; } .ltx_runin + .ltx_para, .ltx_runin + .ltx_para p, .ltx_runin + p { display:inline; }
.ltx_outdent { margin-left: -2em; } .ltx_page_main { margin:0px; padding:1em 3em 1em 2em; } .ltx_tocentry { list-style-type:none; } .ltx_authors_1line .ltx_creator, .ltx_authors_1line .ltx_author_before, .ltx_authors_1line .ltx_author_after { display:inline;} .ltx_authors_1line .ltx_author_notes { display:inline-block; } .ltx_authors_1line .ltx_author_notes:before { content:“*”; color:blue;} .ltx_authors_1line .ltx_author_notes span { display:none; } .ltx_authors_1line .ltx_author_notes:hover span {
display:block; position:absolute; z-index:10; background:white; text-align:left; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }
.ltx_authors_multiline .ltx_creator, .ltx_authors_multiline .ltx_author_before, .ltx_authors_multiline .ltx_author_after, .ltx_authors_multiline .ltx_author_notes, .ltx_authors_multiline .ltx_author_notes .ltx_contact {
display:block; }
.ltx_float {
margin: 1ex 3em 1ex 3em; }
td.ltx_subfigure, td.ltx_subtable, td.ltx_subfloat { width:50%; } .ltx_p, .ltx_quote, .ltx_block, .ltx_para {
display: block; }
.ltx_align_left { text-align:left; } .ltx_align_right { text-align:right; } .ltx_align_center { text-align:center; } .ltx_align_justify { text-align:justify; } .ltx_align_top { vertical-align:top; } .ltx_align_bottom { vertical-align:bottom; } .ltx_align_middle { vertical-align:middle; } .ltx_align_baseline { vertical-align:baseline; }
.ltx_align_floatleft { float:left; } .ltx_align_floatright { float:right; }
.ltx_td.ltx_align_left, .ltx_th.ltx_align_left, .ltx_td.ltx_align_right, .ltx_th.ltx_align_right, .ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space:nowrap; } .ltx_td.ltx_align_left.ltx_wrap, .ltx_th.ltx_align_left.ltx_wrap, .ltx_td.ltx_align_right.ltx_wrap, .ltx_th.ltx_align_right.ltx_wrap, .ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap { white-space:normal; }
.ltx_inline-block { display:inline-block; } .ltx_eqn_div { display:block; width:95%; text-align:center; } .ltx_eqn_table { display:table; width:100%; border-collapse:collapse; } .ltx_eqn_row { display:table-row; } .ltx_eqn_cell { display:table-cell; width:auto; }
.ltx_tag_equationgroup.ltx_align_left, .ltx_tag_equation.ltx_align_left{ position:absolute; left:3em; } .ltx_tag_equationgroup.ltx_align_right, .ltx_tag_equation.ltx_align_right{ position:absolute; right:3em; }
table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_right { padding-left:3em; } table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width:2em; }
.ltx_eqn_eqno { max-width:0em; overflow:visible; } .ltx_eqn_eqno.ltx_align_right .ltx_tag { float:right; }
.ltx_eqn_center_padleft, .ltx_eqn_center_padright { width:50%; min-width:2em;} .ltx_eqn_left_padleft, .ltx_eqn_right_padright { min-width:2em; } .ltx_eqn_left_padright, .ltx_eqn_right_padleft { width:100%; } .ltx_itemize, .ltx_enumerate, .ltx_description {
display:block; }
.ltx_itemize .ltx_item, .ltx_enumerate .ltx_item {
display: list-item; }
li.ltx_item > .ltx_tag {
display:inline-block; margin-left:-1.5em; min-width:1.5em; text-align:right; }
.ltx_item .ltx_tag + .ltx_para, .ltx_item .ltx_tag + .ltx_para .ltx_p { display:inline; } dl.ltx_description dt { margin-right:0.5em; float:left;
font-weight:bold; font-size:95%; }
dl.ltx_description dd { margin-left:5em; } dl.ltx_description dl.ltx_description dd { margin-left:3em; } .ltx_theorem {margin:1em 0em 1em 0em; } .ltx_title_theorem { font-size:100%; } .ltx_bibliography dt { margin-right:0.5em; float:left; } .ltx_bibliography dd { margin-left:3em; } .ltx_bibitem { list-style-type:none; } .ltx_bibtag { font-weight:bold; margin-left:-2em; width:3em; } .ltx_bib_title { font-style:italic; } .ltx_bib_article .bib-title { font-style:normal !important; } .ltx_bib_journal { font-style:italic; } .ltx_bib_volume { font-weight:bold; } .ltx_indexlist li { list-style-type:none; } .ltx_indexlist { margin-left:1em; padding-left:1em;} .ltx_listing {
display:block; margin: 1ex 3em 1ex 3em; overflow-x:auto; }
.ltx_float .ltx_listing {
margin: 0; }
.ltx_listingline { white-space:nowrap; min-height:1em; } .ltx_lst_numbers_left .ltx_listingline .ltx_tag {
background-color:transparent; margin-left:-3em; width:2.5em; position:absolute; text-align:right; }
.ltx_lst_numbers_right .ltx_listingline .ltx_tag {
background-color:transparent; width:2.5em; position:absolute; right:3em; text-align:right; }
/ .ltx_parbox {text-indent:0em; } .ltx_transformed_outer {
position:relative; bottom:0pt;left:0pt; overflow:visible; }
.ltx_transformed_inner {
display:block; position:absolute;bottom:0pt;left:0pt; }
.ltx_transformed_inner > .ltx_p {text-indent:0em; margin:0; padding:0; } span.ltx_rowspan { position:absolute; top:0; bottom:0; } .ltx_p { text-indent:0em; white-space:normal; } .ltx_indent > .ltx_p:first-child { text-indent:2em!important; } .ltx_noindent > .ltx_p:first-child { text-indent:0em!important; } .ltx_page_column1 {
width:44%; float:left; } /* IE uses % of wrong container*/
.ltx_page_column2 {
width:44%; float:right; }
.ltx_page_columns > .ltx_page_column1 {
width:48%; float:left; }
.ltx_page_columns > .ltx_page_column2 {
width:48%; float:right; }
.ltx_page_columns:after {
content:"."; display:block; height:0; clear:both; visibility:hidden; }
.ltx_tabular { display:inline-table; border-collapse:collapse; } .ltx_tabular.ltx_centering { display:table; } .ltx_thead, .ltx_tfoot, .ltx_tbody { display:table-row-group; } .ltx_tr { display:table-row; } .ltx_td, .ltx_th { display:table-cell; }
.ltx_framed { border:1px solid black;} .ltx_tabular .ltx_td, .ltx_tabular .ltx_th { padding:0.1em 0.5em; } .ltx_border_t { border-top:1px solid black; } .ltx_border_r { border-right:1px solid black; } .ltx_border_b { border-bottom:1px solid black; } .ltx_border_l { border-left:1px solid black; } .ltx_border_tt { border-top:3px double black; } .ltx_border_rr { border-right:3px double black; } .ltx_border_bb { border-bottom:3px double black; } .ltx_border_ll { border-left:3px double black; } .ltx_border_T { border-top:1px solid gray; } .ltx_border_R { border-right:1px solid gray; } .ltx_border_B { border-bottom:1px solid gray; } .ltx_border_L { border-left:1px solid gray; } .ltx_framed_rectangle { border-style:solid; border-width:1px; } .ltx_framed_top { border-top-style:solid; border-top-width:1px; } .ltx_framed_left { border-left-style:solid; border-left-width:1px; } .ltx_framed_right { border-right-style:solid; border-right-width:1px; } .ltx_framed_bottom, .ltx_framed_underline { border-bottom-style:solid; border-bottom-width:1px; } .ltx_framed_topbottom { border-top-style:solid; border-top-width:1px;
border-bottom-style:solid; border-bottom-width:1px; }
.ltx_framed_leftright { border-left-style:solid; border-left-width:1px;
border-right-style:solid; border-right-width:1px; }
.ltx_verbatim { text-align:left; } .ltx_note_content { display:none; } .ltx_note_content {
max-width: 70%; font-size:90%; left:15%; text-align:left; background-color: white; padding: 0.5em 1em 0.5em 1.5em; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }
.ltx_note_mark { color:blue; } .ltx_note_type { font-weight: bold; } .ltx_note { display:inline-block; text-indent:0; } .ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top:-0.1em; } .ltx_note:hover .ltx_note_content, .ltx_note .ltx_note_content:hover {
display:block; position:absolute; z-index:10; }
.ltx_ERROR { color:red; } .ltx_rdf { display:none; } .ltx_missing { color:red;} .ltx_nounicode { color:red; } .ltx_svg_fog foreignObject { margin:0; padding:0; overflow:visible; } .ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; } .ltx_font_serif { font-family: serif; } .ltx_font_sansserif { font-family: sans-serif; } .ltx_font_typewriter { font-family: monospace; } .ltx_font_bold { font-weight: bold; } .ltx_font_medium { font-weight: normal; } .ltx_font_italic { font-style: italic; font-variant:normal; } .ltx_font_upright { font-style: normal; font-variant:normal; } .ltx_font_slanted { font-style: oblique; font-variant:normal; } .ltx_font_smallcaps { font-variant: small-caps; font-style:normal; } .ltx_font_oldstyle { font-variant: oldstyle-nums;
font-style:normal;
-moz-font-feature-settings: "onum";
-ms-font-feature-settings: "onum";
-webkit-font-feature-settings: "onum";
font-variant-numeric: oldstyle-nums; }
.ltx_font_mathcaligraphic { font-family: “Lucida Calligraphy”, “Zapf Chancery”,“URW Chancery L”; } cite { font-style: normal; }
.ltx_red { color:red; } .ltx_centering { display:block; margin:auto; text-align:center; } .ltx_hflipped {
display:inline-block; -moz-transform: scaleX(-1); -o-transform: scaleX(-1); -webkit-transform: scaleX(-1); transform: scaleX(-1); filter: FlipH; -ms-fliter: "FlipH"; }
.ltx_vflipped {
display:inline-block; -moz-transform: scaleY(-1); -o-transform: scaleY(-1); -webkit-transform: scaleY(-1); transform: scaleY(-1); filter: FlipV; -ms-fliter: "FlipV"; }
</style>
<style>
.ltx_title_document { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; } .ltx_authors, .ltx_role_author { text-align:center; margin:0.5em 0 0.5em 0; } .ltx_role_author .ltx_personname { font-size: 120%; } .ltx_date { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; } .ltx_subtitle { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; }
.ltx_title_abstract { text-align:center; font-size: 100%; font-weight:bold; } .ltx_abstract { margin-left:4em; margin-right:4em; } .ltx_title_acknowledgements, .ltx_title_keywords, .ltx_title_classification {
text-align:left; font-size: 100%; font-weight:bold; margin:0.5 0 0 0; }
.ltx_appendix, .ltx_section, .ltx_subsection, .ltx_subsubsection { margin-top:1.5em; } .ltx_paragraph, .ltx_subparagraph { margin-top:1.0em; }
.ltx_title_appendix, .ltx_title_section { font-size:140%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsection { font-size:120%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsubsection { font-size:100%; font-weight:bold; margin-bottom:1em; } .ltx_title_paragraph { font-size:100%; font-weight:bold; display:inline;
margin-right:1em; }
.ltx_paragraph .ltx_title, .ltx_paragraph .ltx_title + .ltx_para, .ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; }
.ltx_title_subparagraph { font-size:100%; font-weight:bold; display:inline;
margin-left:2em; margin-right:1em; }
.ltx_subparagraph .ltx_title, .ltx_subparagraph .ltx_title + .ltx_para, .ltx_subparagraph .ltx_title + .ltx_para > .ltx_p { display:inline; }
.ltx_figure { text-align:center; margin:auto; margin:0.5em; } .ltx_table { text-align:center; margin:auto; margin:0.5em; } .ltx_table, .ltx_figure { display:flex; flex-direction:column; align-items:center; } .ltx_table .ltx_caption, .ltx_figure .ltx_caption { text-align:justify; } .ltx_para > .ltx_p:first-child { text-indent:2em; } section > .ltx_title +.ltx_para > .ltx_p, section > .ltx_title +.ltx_date +.ltx_para > .ltx_p {text-indent:0em; }
.ltx_title_abstract + .ltx_p {text-indent:2em; }
.ltx_itemize { margin-left:1em; }
.ltx_theorem { margin-top:0.5em; margin-bottom:0.5em; } .ltx_theorem .ltx_title { margin-bottom:0.1em; } .ltx_theorem .ltx_title + .ltx_para, .ltx_theorem .ltx_title + .ltx_para .ltx_p, .ltx_theorem .ltx_title + .ltx_p { margin-top:0em; } </style>
<link rel=“stylesheet” href=“http://www.sac-home.org/dokuwiki/lib/tpl/bootstrap3/assets/bootstrap/journal/bootstrap.min.css” type=“text/css”> </head> <body>
<article class=“ltx_document ltx_authors_1line”> <h1 class=“ltx_title ltx_title_document”>SaC EBNF Grammar</h1>
November 2, 2016
<section id=“S1” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 1 Program Structure</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>prg</td> <td class=“ltx_td ltx_align_center”><math id=“S1.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ global_pragma ]<math id=“S1.p1.m2” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ ( module <math id=“S1.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> class ) ] [ interface ]<math id=“S1.p1.m4” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math></td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td”></td> <td class=“ltx_td ltx_align_left”> [ tfspec ]<math id=“S1.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ structdef ]<math id=“S1.p1.m6” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ typedef ]<math id=“S1.p1.m7” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ objectdef ]<math id=“S1.p1.m8” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td”></td> <td class=“ltx_td ltx_align_left”> [ function ]<math id=“S1.p1.m9” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> </tbody> </table>
</section> <section id=“S2” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 2 Module Declarations</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>module</td> <td class=“ltx_td ltx_align_center”><math id=“S2.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> module id [ deprecated str ] ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>class</td> <td class=“ltx_td ltx_align_center”><math id=“S2.p1.m2” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> class id [ deprecated str ] ; classtype </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>classtype</td> <td class=“ltx_td ltx_align_center”><math id=“S2.p1.m3” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> classtype type ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S2.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> extern classtype ; [ interface_pragma ]<math id=“S2.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> </tbody> </table>
</section> <section id=“S3” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 3 Import / Export</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>interface</td> <td class=“ltx_td ltx_align_center”><math id=“S3.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( import <math id=“S3.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> use ) id : symbolset ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S3.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( export <math id=“S3.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> provide ) symbolset ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>symbolset</td> <td class=“ltx_td ltx_align_center”><math id=“S3.p1.m5” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> all [ except { ext_id [ , ext_id ] } ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S3.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> { ext_id [ , ext_id ] } </td> </tr> </tbody> </table>
</section> <section id=“S4” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 4 Structure Definitions (future use)</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>structdef</td> <td class=“ltx_td ltx_align_center”><math id=“S4.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> struct id { [ type id [ , id ]<math id=“S4.p1.m2” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ; ]<math id=“S4.p1.m3” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> } ; </td> </tr> </tbody> </table>
</section> <section id=“S5” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 5 Type Definitions</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>typedef</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> builtintypedef</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> loctypedef </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> exttypedef </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> absttypedef </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m5” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerel </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>builtintypedef</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m6” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> builtin typedef [ typecompspec ] id [ typeargs ] ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>loctypedef</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m7” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> typedef [ typecompspec ] type id ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>exttypedef</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m8” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> external typedef [ typecompspec ] id ; [ interface_pragma ]<math id=“S5.p1.m9” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>absttypedef</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m10” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> typedef [ typecompspec ] id ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>typecompspec</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m11” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ id ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>typeargs</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m12” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( id [ , id ]<math id=“S5.p1.m13” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>typerel</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m14” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> typerel id [ , id ]<math id=“S5.p1.m15” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> <: id ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m16” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerel id [ typeargs ] <: id [ typeargs ] [ | typerelexpr ] ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>typerelexpr</td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m17” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( typerelexpr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerelexpr <= typerelexpr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerelexpr >= typerelexpr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerelexpr == typerelexpr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> typerelexpr && typerelexpr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S5.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> id </td> </tr> </tbody> </table>
</section> <section id=“S6” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 6 Object Definitions</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>objectdef</td> <td class=“ltx_td ltx_align_center”><math id=“S6.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( locobjdef <math id=“S6.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> extobjdef )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>locobjdef</td> <td class=“ltx_td ltx_align_center”><math id=“S6.p1.m3” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> objdef type id = funcall ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>extobjdef</td> <td class=“ltx_td ltx_align_center”><math id=“S6.p1.m4” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> external objdef type id ; [ interface_pragma ]<math id=“S6.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> </tbody> </table>
</section> <section id=“S7” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 7 Function Declarations and Definitions</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>function</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> extfundec [ ( interface_pragma <math id=“S7.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> funtion_pragma ) ]<math id=“S7.p1.m3” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math></td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> specfundec [ function_pragma ]<math id=“S7.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> fundef </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> main </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>extfundec</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m8” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> external varsignature ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>specfundec</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m9” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> specialize fixsignature ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>fundef</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m10” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ inline ] [ thread ] fixsignature [ function_pragma ]<math id=“S7.p1.m11” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> body </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>fixsignature</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m12” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> fixrets ext_id ( fixargs )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> operator_sig </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>varsignature</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m14” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> varrets ext_id ( varargs )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> operator_sig </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>operator_sig</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m16” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> type ( ext_op ) ( arg )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m17” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> type ( ext_op ) ( arg , arg ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>fixargs</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m18” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( arg [ , arg ]<math id=“S7.p1.m19” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> <math id=“S7.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> [ void ] ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>varargs</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m21” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> fixargs</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> arg [ , arg ]<math id=“S7.p1.m23” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> , … </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>arg</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m24” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> type [ & ] id</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>fixrets</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m25” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( type [ , type ]<math id=“S7.p1.m26” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> <math id=“S7.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> [ void ] ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>varrets</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m28” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> fixrets</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m29” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> type [ , type ]<math id=“S7.p1.m30” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> , … </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>main</td> <td class=“ltx_td ltx_align_center”><math id=“S7.p1.m31” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> int main ( [ void ] ) body </td> </tr> </tbody> </table>
</section> <section id=“S8” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 8 Function Bodies</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>body</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> { [ cachesim_pragma ] [ vardec ]<math id=“S8.p1.m2” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ statement ]<math id=“S8.p1.m3” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> [ return ] }</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>vardec</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m4” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> type id [ , id ]<math id=“S8.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ;</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>statement</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m6” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ;</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> assignment ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> funcall ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> withloop ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> cond </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> doloop </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> whileloop </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> forloop </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>return</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m14” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> return [ expr ] ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> return ( [ exprs ] ) ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>assignment</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m16” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> assign_lhs [ , assign_lhs ]<math id=“S8.p1.m17” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> assign_op expr</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> assign_lhs ( ++ <math id=“S8.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> – ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>assign_lhs</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m20” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> id</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> assign_lhs . id </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> assign_lhs [ exprs ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>assign_op</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m23” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( = <math id=“S8.p1.m24” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> += <math id=“S8.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> -= <math id=“S8.p1.m26” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> *= <math id=“S8.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> /= <math id=“S8.p1.m28” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> %= )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>cond</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m29” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> if ( expr ) statementblock [ else statementblock ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>doloop</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m30” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> do statementblock while ( expr ) ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>whileloop</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m31” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> while ( expr ) statementblock </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>forloop</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m32” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> for ( assignment [ , assignment ]<math id=“S8.p1.m33” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td”></td> <td class=“ltx_td ltx_align_left”> ; expr ; assignment [ , assignment ]<math id=“S8.p1.m34” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td”></td> <td class=“ltx_td ltx_align_left”> statementblock </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>statementblock</td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m35” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> { [ cachesim_pragma ] [ statement ]<math id=“S8.p1.m36” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> }</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S8.p1.m37” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> statement </td> </tr> </tbody> </table>
</section> <section id=“S9” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 9 Expressions</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>exprs</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> expr [ , expr ]<math id=“S9.p1.m2” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math></td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>expr_or_dot</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m3” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( expr <math id=“S9.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> . )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>expr_or_mdot</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m5” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( expr <math id=“S9.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> . <math id=“S9.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> … )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>expr</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m8” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> const</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> qual_ext_id </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> funcall </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> withloop </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> set_notation </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> array </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> struct </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr || expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m16” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr && expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m17” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr ? expr : expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( type ) expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>arrray</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m20” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ [ exprs ] ]</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> [ : type ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr [ [ expr_or_mdot [ , expr_or_mdot ]<math id=“S9.p1.m23” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ] ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>struct</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m24” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> < exprs ></td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr . id </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>funcall</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m26” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> qual_ext_id ( [ exprs ] )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> spawn [ ( str ) ] qual_ext_id ( [ exprs ] ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m28” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> rspawn [ ( str ) ] qual_ext_id ( [ exprs ] ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m29” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> unary_prf ( expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m30” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> qual_ext_op expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m31” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> binary_prf ( expr , expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m32” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr qual_ext_op expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m33” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ternary_prf ( expr , expr , expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>set_notation</td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m34” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> { id -> expr }</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S9.p1.m35” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> { [ [ id_or_mdot [ , id_or_mdot ]<math id=“S9.p1.m36” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ] ] -> expr } </td> </tr> </tbody> </table>
</section> <section id=“S10” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 10 With-Loops</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>withloop</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ local ] with [ generators ] : operations </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>generators</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m2” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> { [ withloop_pragma ] [ generator ]<math id=“S10.p1.m3” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> } </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>generator</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m4” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( index_set ) [ { [ statement ]<math id=“S10.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> } ] : gen_exprs ; </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>index_set</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m6” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> expr_or_dot ( < <math id=“S10.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> <= ) index_vars ( < <math id=“S10.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> <= ) expr_or_dot</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td”></td> <td class=“ltx_td ltx_align_left”> [ step expr [ width expr ] ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>index_vars</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m9” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> id [ = id_vec ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> id_vec </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>id_vec</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m11” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ [ id [ , id ]<math id=“S10.p1.m12” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ] ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>gen_exprs</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m13” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> void </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> expr </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( expr [ , expr ]<math id=“S10.p1.m16” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>operations</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m17” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> void </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> operation </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( operation [ , operation ]<math id=“S10.p1.m20” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>operation</td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m21” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> genarray ( expr [ , expr ] ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> modarray ( expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m23” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> fold ( ( qual_ext_id <math id=“S10.p1.m24” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> qual_ext_op ) [ ( exprs ) ] , expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> foldfix ( ( qual_ext_id <math id=“S10.p1.m26” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> qual_ext_op ) [ ( exprs ) ] , expr , expr ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S10.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> propagate ( id ) </td> </tr> </tbody> </table>
</section> <section id=“S11” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 11 Types</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>type</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> basetype [ shape_spec ]</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>shape_spec</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m2” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ * ]</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> [ + ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> [ [ . [ , . ]<math id=“S11.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ] ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> [ [ num [ , num ]<math id=“S11.p1.m7” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> ] ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>basetype</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m8” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> simpletype</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> usertype </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>simpletype</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m10” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> byte </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> short </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> int </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> long </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> longlong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ubyte </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m16” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ushort </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m17” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> uint </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ulong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ulonglong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> float </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> bool </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> char </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m23” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> double </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>usertype</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m24” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( [ struct ] <math id=“S11.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> id :: ) id </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>polytype</td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m26” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> < id [ = id [ id ] ] ></td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S11.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> < id ( -> <math id=“S11.p1.m28” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> <- ) id [ id ] > </td> </tr> </tbody> </table>
</section> <section id=“S12” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 12 Identifiers</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>id_or_mdot</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( id <math id=“S12.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> . <math id=“S12.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> … )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>qual_ext_id</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m4” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ id :: ] ext_id</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>ext_id</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m5” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( id <math id=“S12.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> reservedid )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>reservedid</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m7” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> genarray </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> modarray </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> fold </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> foldfix </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> propagate </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> all </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> except </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>qual_ext_op</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m14” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> [ id :: ] ext_op</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>ext_op</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m15” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( op <math id=“S12.p1.m16” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> reservedop )</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>reservedop</td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m17” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> &</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> && </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> || </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ! </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ~ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> + </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m23” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> - </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m24” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> * </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> / </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m26” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> % </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> <= </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m28” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> < </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m29” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> >= </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m30” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> > </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m31” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> >> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m32” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> << </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m33” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ^ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m34” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ++ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S12.p1.m35” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> – </td> </tr> </tbody> </table>
</section> <section id=“S13” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 13 Constants</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>const</td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> numbyte</td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numshort </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numint </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numlong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m5” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numlonglong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numubyte </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numushort </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numuint </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numulong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> numulonglong </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> num </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> float </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> double </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> char </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> [ str ]<math id=“S13.p1.m16” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>+</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m17” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> true </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S13.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> false </td> </tr> </tbody> </table>
</section> <section id=“S14” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 14 Builtin Operations</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>unary_prf</td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _tob_S_ <math id=“S14.p1.m2” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _tos_S_ <math id=“S14.p1.m3” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _toi_S_ <math id=“S14.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _tol_S_ <math id=“S14.p1.m5” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _toll_S_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _toub_S_ <math id=“S14.p1.m7” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _tous_S_ <math id=“S14.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _toui_S_ <math id=“S14.p1.m9” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _toul_S_ <math id=“S14.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _toull_S_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _tof_S_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _tod_S_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _toc_S_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _tobool_S_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m15” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _not_S_ <math id=“S14.p1.m16” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _not_V_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m17” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _neg_S_ <math id=“S14.p1.m18” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _neg_V_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m19” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _abs_S_ <math id=“S14.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _abs_V_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _dim_A_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m22” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _shape_A_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>ternary_prf</td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m23” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> _modarray_AxVxS_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>binary_prf</td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m24” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _add_SxS_ <math id=“S14.p1.m25” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _add_SxV_ <math id=“S14.p1.m26” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _add_VxS_ <math id=“S14.p1.m27” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _add_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m28” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _sub_SxS_ <math id=“S14.p1.m29” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _sub_SxV_ <math id=“S14.p1.m30” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _sub_VxS_ <math id=“S14.p1.m31” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _sub_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m32” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _mul_SxS_ <math id=“S14.p1.m33” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mul_SxV_ <math id=“S14.p1.m34” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mul_VxS_ <math id=“S14.p1.m35” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mul_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m36” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _div_SxS_ <math id=“S14.p1.m37” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _div_SxV_ <math id=“S14.p1.m38” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _div_VxS_ <math id=“S14.p1.m39” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _div_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m40” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _mod_SxS_ <math id=“S14.p1.m41” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mod_SxV_ <math id=“S14.p1.m42” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mod_VxS_ <math id=“S14.p1.m43” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _mod_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m44” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _min_SxS_ <math id=“S14.p1.m45” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _min_SxV_ <math id=“S14.p1.m46” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _min_VxS_ <math id=“S14.p1.m47” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _min_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m48” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _max_SxS_ <math id=“S14.p1.m49” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _max_SxV_ <math id=“S14.p1.m50” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _max_VxS_ <math id=“S14.p1.m51” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _max_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m52” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _eq_SxS_ <math id=“S14.p1.m53” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _eq_SxV_ <math id=“S14.p1.m54” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _eq_VxS_ <math id=“S14.p1.m55” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _eq_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m56” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _neq_SxS_ <math id=“S14.p1.m57” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _neq_SxV_ <math id=“S14.p1.m58” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _neq_VxS_ <math id=“S14.p1.m59” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _neq_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m60” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _le_SxS_ <math id=“S14.p1.m61” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _le_SxV_ <math id=“S14.p1.m62” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _le_VxS_ <math id=“S14.p1.m63” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _le_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m64” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _lt_SxS_ <math id=“S14.p1.m65” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _lt_SxV_ <math id=“S14.p1.m66” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _lt_VxS_ <math id=“S14.p1.m67” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _lt_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m68” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _ge_SxS_ <math id=“S14.p1.m69” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _ge_SxV_ <math id=“S14.p1.m70” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _ge_VxS_ <math id=“S14.p1.m71” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _ge_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m72” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _gt_SxS_ <math id=“S14.p1.m73” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _gt_SxV_ <math id=“S14.p1.m74” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _gt_VxS_ <math id=“S14.p1.m75” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _gt_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m76” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _and_SxS_ <math id=“S14.p1.m77” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _and_SxV_ <math id=“S14.p1.m78” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _and_VxS_ <math id=“S14.p1.m79” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _and_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m80” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _or_SxS_ <math id=“S14.p1.m81” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _or_SxV_ <math id=“S14.p1.m82” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _or_VxS_ <math id=“S14.p1.m83” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _or_VxV_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m84” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _reshape_VxA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m85” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _sel_VxA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m86” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _take_SxV_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m87” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _drop_SxV_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m88” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _cat_VxV_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>secret_prf</td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m89” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> _hideValue_SxA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m90” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _hideShape_SxA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m91” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _hideDim_SxA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m92” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _sel_VxIA_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m93” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _reciproc_S_ <math id=“S14.p1.m94” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _reciproc_V_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m95” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> _mask_VxVxV_ </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m96” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _non_neg_val_S_ <math id=“S14.p1.m97” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _non_neg_val_V_ ) </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S14.p1.m98” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> ( _val_le_val_SxS_ <math id=“S14.p1.m99” class=“ltx_Math” alttext=“|” display=“inline”><mo mathvariant=“normal” stretchy=“false”>|</mo></math> _val_le_val_VxV_ ) </td> </tr> </tbody> </table>
</section> <section id=“S15” class=“ltx_section”> <h2 class=“ltx_title ltx_title_section”> 15 Pragmas</h2>
<table class=“ltx_tabular ltx_align_top”> <tbody class=“ltx_tbody”> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>global_pragma</td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m1” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma main-aspect qual_ext_id [ , qual_ext_id ]<math id=“S15.p1.m2” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>interface_pragma</td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m3” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma linkname str </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m4” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma cudalinkname [ str ]<math id=“S15.p1.m5” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>+</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m6” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma linkwith [ str ]<math id=“S15.p1.m7” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>+</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m8” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma linkobj [ str ]<math id=“S15.p1.m9” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>+</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m10” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma copyfun str </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m11” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma freefun str </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m12” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma linksign [ nums ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m13” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma refcounting [ nums ] </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m14” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma effect qual_ext_id [ , qual_ext_id ]<math id=“S15.p1.m15” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>withloop_pragma</td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m16” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma wlcomp funcall </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>cachesim_pragma</td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m17” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma cachesim [ str ]<math id=“S15.p1.m18” class=“ltx_Math” alttext=“{}^hbox_normalsize}” display=“inline”><msup><mi></mi><msub><mi></mi><mtext mathsize=“200%” mathvariant=“italic”>*</mtext></msub></msup></math> </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”>function_pragma</td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m19” class=“ltx_Math” alttext=“\Rightarrow” display=“inline”><mo>⇒</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma recountdots </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m20” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma mutcthreadfun </td> </tr> <tr class=“ltx_tr”> <td class=“ltx_td ltx_align_justify” style=“width:65.4pt;”></td> <td class=“ltx_td ltx_align_center”><math id=“S15.p1.m21” class=“ltx_Math” alttext=“|” display=“inline”><mo stretchy=“false”>|</mo></math></td> <td class=“ltx_td ltx_align_left”> # pragma noinline </td> </tr> </tbody> </table>
</section> </article>
</body> </html>