chickadee » tuples » triple

function (result)

(triple x y z)

requires #t

ensures  (%triple? result)