chickadee » tuples » triple-eql?

function (result)

(triple-eql? eql? trp0 trp1)

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

ensures  (boolean? result)