~/jendhub

law string_comparison_original_identity

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/native_map.bend:335

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/native_map.bend as NativeMap
import Base

335law string_comparison_original_identity:
336  for +a: String
337  for +b: String
338  comparison_identity(String, a, b, comparison_tag(String, String.cmp(a, b)))

Uses (7)

Used by (1)