chickadee » tuples » triple

triple x y zprocedure

function (result)

(triple x y z)

requires #t

ensures  (%triple? result)