File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change 18420
18420
\begin{itemdescr}
18421
18421
\pnum
18422
18422
\constraints
18423
- \tcode{T} models \tcode {totally_ordered}.
18423
+ \tcode{T} models \libconcept {totally_ordered}.
18424
18424
18425
18425
\pnum
18426
18426
\returns
18438
18438
\begin{itemdescr}
18439
18439
\pnum
18440
18440
\constraints
18441
- \tcode{T} models \tcode {totally_ordered}.
18441
+ \tcode{T} models \libconcept {totally_ordered}.
18442
18442
18443
18443
\pnum
18444
18444
\returns
18457
18457
\begin{itemdescr}
18458
18458
\pnum
18459
18459
\constraints
18460
- \tcode{T} models \tcode {totally_ordered}.
18460
+ \tcode{T} models \libconcept {totally_ordered}.
18461
18461
18462
18462
\pnum
18463
18463
\returns
18475
18475
\begin{itemdescr}
18476
18476
\pnum
18477
18477
\constraints
18478
- \tcode{T} models \tcode {totally_ordered}.
18478
+ \tcode{T} models \libconcept {totally_ordered}.
18479
18479
18480
18480
\pnum
18481
18481
\returns
19262
19262
\begin{itemdescr}
19263
19263
\pnum
19264
19264
\constraints
19265
- \tcode{T} models \tcode {totally_ordered}.
19265
+ \tcode{T} models \libconcept {totally_ordered}.
19266
19266
19267
19267
\pnum
19268
19268
\returns
19280
19280
\begin{itemdescr}
19281
19281
\pnum
19282
19282
\constraints
19283
- \tcode{T} models \tcode {totally_ordered}.
19283
+ \tcode{T} models \libconcept {totally_ordered}.
19284
19284
19285
19285
\pnum
19286
19286
\returns
19311
19311
\begin{itemdescr}
19312
19312
\pnum
19313
19313
\constraints
19314
- \tcode{T} models \tcode {totally_ordered}.
19314
+ \tcode{T} models \libconcept {totally_ordered}.
19315
19315
19316
19316
\pnum
19317
19317
\expects
You can’t perform that action at this time.
0 commit comments