chickadee » tuples » single-equal?

function (result)

(single-equal? sgl0 sgl1)

requires (and (%single? sgl0) (%single? sgl1))

ensures  (boolean? result)