chickadee » tuples » triple?

triple? xprocedure

function (result)

(triple? x)

requires #t

ensures  (boolean? result)