chickadee » tuples » single-eql?

function (result)

(single-eql? eql? sgl0 sgl1)

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

ensures  (boolean? result)