claim
active
claim:pair-is-an-indexable-container-with-index-type-bool

Pair is an indexable container with index type Bool.

Denotational insight for Pair data type.

Source paper

extracted_from
Denotational design with type class morphisms (extended version)
(2015) · Elliott, Conal

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.