chickadee » tuples » triple->tuple

triple->tuple trpprocedure

function (result)

(triple->tuple trp)

requires (%triple? trp)

ensures  (and (%tuple? result)
              (= (%tuple-length result) 3))