chickadee » tuples » triple-eqv?

function (result)

(triple-eqv? trp0 trp1)

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

ensures  (boolean? result)