PresentWithCreator

Parameter object which represents a present value (e.g. to represent a present Optional) with an element type E combined with an assertionCreator which defines assertions for the element.

Use the function present { ... } to create this representation.