epfl-lara/rust-stainless

String operations

Opened this issue · 0 comments

yannbolliger commented

Literal strings and the type are extracted but not all of the operations work yet:

  • Concat
  • len?
  • ...