Template:Pr definition: Difference between revisions

Latest revision as of 13:02, 7 January 2021

label [[:template:{{{label}}} def|{{{label}}} def]]

term {{{term}}}

operator {{{operator}}}

scope {{{scope}}}

definition {{{definition}}}]

@@ Line 1: / Line 1: @@
-{{red|definition [}}
+{{red|[[code definition|definition]] [}} <noinclude>{{c|Contract code}}</noinclude>
-:{{de|label}} {{{label}}}
+:{{de|label}} [[:template:{{{label}}} def|{{{label}}} def]]
-:{{de|content}} {{{content}}}{{red|]}}
+:{{de|term}} {{ob|{{{term}}}}}
+:{{de|operator}} {{op|{{{operator}}}}}
+:{{de|scope}} {{{scope}}}
+:{{de|definition}} {{co|{{{definition}}}}}{{red|]}}