equivalence

Kind: predicate-type

Record: vocabulary:predicate-type-equivalence

Canonical: Schema

A claim that two representations produce the same result.

Listed in Controlled vocabularies, after invariant and before bound.

Predicate type of

• semantic-correctness
• interaction-correctness
• determinism-correctness

Linked from

• The test surfaces