10 lines
262 B
Text
10 lines
262 B
Text
|
:- func dr(string) = string.
|
||
|
|
dr(Name) = Titled :-
|
||
|
|
some [!SB] (
|
||
|
|
!:SB = string.builder.init,
|
||
|
|
put_char(handle, 'D', !SB),
|
||
|
|
put_char(handle, 'r', !SB),
|
||
|
|
format(handle, " %s", [s(Name)], !SB),
|
||
|
|
Titled = to_string(!.SB)
|
||
|
|
).
|