- pretty rfrac width port docprocedure
Pretty-prints doc to port. width is the maximum number of characters per line; rfrac is the ribbon width as a fraction of width (the maximum number of non-indentation characters per line). 1.0 means the ribbon is the same as the width.