Like here:
```
pure fun foo() = @Pure (ThirdParty....
# language-proposalsd
dmitry.petrov
08/01/2016, 8:54 AMLike here:
Copy code
pure fun foo() = @Pure (ThirdParty.bar())2 Views
dmitry.petrov
08/01/2016, 8:54 AMpure fun foo() = @Pure (ThirdParty.bar())