aboutsummaryrefslogtreecommitdiff
path: root/options
diff options
context:
space:
mode:
authorStefan Majewsky <majewsky@gmx.net>2025-02-20 23:33:01 +0100
committerStefan Majewsky <majewsky@gmx.net>2025-02-20 23:33:24 +0100
commitc7e09a5b63cdd5cec40d190d446c4a35d5c22ca5 (patch)
treee8c30e3e0ff223239ec4e4da712b19f4857ff54e /options
parentd6c1edaa1b8176b49c1f776567a8b9b5e179dbf1 (diff)
downloadgo-gg-c7e09a5b63cdd5cec40d190d446c4a35d5c22ca5.tar.gz
refined: demonstrate that Refined types are comparable, but not ordered
Diffstat (limited to 'options')
0 files changed, 0 insertions, 0 deletions