chickadee » tuples » single-eq?

single-eq? sgl0 sgl1procedure

function (result)

(single-eq? sgl0 sgl1)

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

ensures  (boolean? result)