partial is equal constructor

See documentation for make_is_equal() for details.

Usage

then_is_equal(lhs, value)

Arguments

lhs

The prior transformation or metric space.

value

value to check against

Value

Transformation