with is also used in properties and interface implementations

docs/fsharp/language-reference/keyword-reference.md

@@ -156,7 +156,7 @@ The following table shows all F# keywords in alphabetical order, together with b
 |`void`|[Primitive Types](basic-types.md)|Indicates the .NET `void` type. Used when interoperating with other .NET languages.|
 |`when`|[Constraints](./generics/constraints.md)|Used for Boolean conditions (*when guards*) on pattern matches and to introduce a constraint clause for a generic type parameter.|
 |`while`|[Loops: `while...do` Expression](loops-while-do-expression.md)|Introduces a looping construct.|
-|`with`|[Match Expressions](match-expressions.md)<br /><br />[Object Expressions](object-expressions.md)<br /><br />[Copy and Update Record Expressions](copy-and-update-record-expressions.md)<br /><br />[Type Extensions](type-extensions.md)<br /><br />[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, and type extensions to introduce member definitions, and to introduce exception handlers.|
+|`with`|[Match Expressions](match-expressions.md)<br /><br />[Object Expressions](object-expressions.md)<br /><br />[Copy and Update Record Expressions](copy-and-update-record-expressions.md)<br /><br />[Type Extensions](type-extensions.md)<br /><br />[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)<br /><br />[Interfaces](interfaces.md)<br /><br />[Properties](./members/properties.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, type extensions to introduce member definitions, exception handlers, interface implementations, and declarations of properties with explicit getters and setters.|
 |`yield`|[Lists](lists.md), [Arrays](arrays.md), [Sequences](sequences.md)|Used in a list, array, or sequence expression to produce a value for a sequence. Typically can be omitted, as it is implicit in most situations.|
 |`yield!`|[Computation Expressions](computation-expressions.md)<br /><br />[Async expressions](async-expressions.md)<br /><br />[Task expressions](task-expressions.md)|Used in a computation expression to append the result of a given computation expression to a collection of results for the containing computation expression.|
 |`const`|[Type Providers](../tutorials/type-providers/index.md)| Type Providers allow the use of `const` as a keyword to specify a constant literal as a type parameter argument.|