Duck Typing

[AlexCatarino]

Expected Behavior

We have a section under Key Concepts / Duck Typing explaining what Duck Typing is and how it works in Lean.

Actual Behavior

We have documentation on Custom Security Properties Custom Security Properties

Checklist

• [x] I have completely filled out this template
• [x] I have confirmed that this issue exists on the current master branch
• [x] I have confirmed that this is not a duplicate issue by searching issues

[AlexCatarino]

Closed by f6e82277