chickadee
»
tuples
»
single-ref
Identifier search
single-ref
sg
procedure
function (result)
(single-ref sg) requires (%single? sg) ensures "sg's stored item"