chickadee » tuples » triple-eq?

triple-eq? trp0 trp1procedure

function (result)

(triple-eq? trp0 trp1)

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

ensures  (boolean? result)