• Ralf Jung's avatar
    Remove the `default` notation for options · e585be6d
    Ralf Jung authored
    The notation was parsing-only and all it did was reorder the arguments for
    from_option.  This creates just a needless divergence between what is written
    and what is printed.  Also, removing it frees the name for maybe introducing a
    function or notation `default` with a type like `T -> option T -> T`.
    e585be6d
nmap.v 3.87 KB