chickadee » tuples » single?

single? xprocedure

function (result)

(single? x)

requires #t

ensures  (boolean? result)