Concatenated string

Stream: new members

[Martin Dvořák]

How can I go from "abc" ++ w = "abcde" to w = "de" please? And other trivial statements about concatenated strings, is there a tactic for it?

[Yaël Dillies]

docs#list.append_left_cancel I suspect

[Yaël Dillies]

You might need to turn "abcde" into "abc" ++ "de" first.

[Martin Dvořák]

How can I "lift" the lemmata for list char into being for string please? I suppose I could write .data after all input parameters, but that neither solves my whole issue nor is it nice.

[Yaël Dillies]

I assume docs#list.as_string and docs#list.to_string