# A pretty print for this help
fun pretty(off: Int): String
do
var text = new FlatBuffer.from(" ")
text.append(names.join(", "))
text.append(" ")
var rest = off - text.length
if rest > 0 then text.append(" " * rest)
text.append(helptext)
#text.append(pretty_default)
return text.to_s
end
lib/opts/opts.nit:72,2--83,4