Interface InnerTriConstraintStream<A,​B,​C>