[Home](./index.md) > [@contract-case/case-definition-dsl](./case-definition-dsl.md) > [matchers](./case-definition-dsl.matchers.md) > [convenience](./case-definition-dsl.matchers.convenience.md) > [WithExample](./case-definition-dsl.matchers.convenience.withexample.md) > [(constructor)](./case-definition-dsl.matchers.convenience.withexample._constructor_.md) ## matchers.convenience.WithExample.(constructor) Adds an example to the provided matcher. Useful when you have a complicated set of [matchers.convenience.And](./case-definition-dsl.matchers.convenience.and.md) constraints and ContractCase can't figure out what the best example should be. Note that providing any example will override examples provided further down the tree. **Signature:** ```typescript constructor(matcher: AnyMatcherOrData, example: AnyMatcherOrData); ``` ## Parameters

Parameter	Type	Description
matcher	AnyMatcherOrData	Any matcher to add an example to
example	AnyMatcherOrData	The example to use when stripping the matchers