chickadee » tuples » triple-equal?

function (result)

(triple-equal? trp0 trp1)

requires (and (%triple? trp0) (%triple? trp1))

ensures  (boolean? result)