discrimination 0.0.1

Generic worst-case-linear-time sorting and partitioning algorithms based on discriminators
Documentation
1
2
3
4
5
6
7
8
9
10
take_source_hints = false
wrap_comments = true
reorder_imports = true
reorder_imported_names = true
chain_base_indent = "Visual"
chain_indent = "Visual"
struct_lit_style = "Visual"
where_indent = "Visual"
use_try_shorthand = true
condense_wildcard_suffices = true