mirror of
https://github.com/nlohmann/json.git
synced 2024-08-22 04:52:35 +02:00
5 lines
141 B
Plaintext
5 lines
141 B
Plaintext
|
[1,2,3] <=> [1,2,4] := less
|
||
|
{"A":"a","B":"b"} <=> {"A":"a","B":"b"} := equivalent
|
||
|
"foo" <=> 17 := greater
|
||
|
"foo" <=> <discarded> := unordered
|