Interface InnerBiConstraintStream<A,​B>