1 2 3 4 5 6 7 8 9 10 11
```lean /-- A simple single-line docstring should be kept. -/ def with_docstring := 42 /-- A multi-line docstring should be kept. -/ def with_multiline := 100 ```