character-ascii -- r7rs Type string;make-string;string-fill!;string-set!;write-char;char?;char=?;char<?;char>?;char<=?;char>=?;char-ci=?;char-ci<?;char-ci>?;char-ci<=?;char-ci>=?;digit-value;char-alphabetic?;char-upper-case?;char-lower-case?;char-numeric?;char-whitespace?;Note: These definitions consume an input that is a super-type.