opts :: Option :: pretty_default
# Pretty print the default value.
fun pretty_default: String
do
var dv = default_value
if dv != null then return " ({dv.to_s})"
return ""
end
lib/opts/opts.nit:85,2--91,4
redef fun pretty_default
do
return " ({values[default_value]})"
end
lib/opts/opts.nit:223,2--226,4