chickadee » tuples » single-eqv?

function (result)

(single-eqv? sgl0 sgl1)

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

ensures  (boolean? result)