Interface InnerUniConstraintStream<A>