chickadee » tuples » single

single xprocedure

function (result)

(single x)

requires #t

ensures  (%single? result)