python - 仮説を使用して fixed_dictionaries に同じ長さの 2 つのリストを生成する

Question

fixed_dictionariesキーの 2 つが同じ長さでなければならない値としてリストを持つ戦略を使用して、サンプル データを生成しようとしています。

{'ids': [1, 2, 3],
 'words': ['foo', 'bar', 'baz']}

この制約を強制するにはどうすればよいですか? 一方をもう一方の複合体として定義できるのではないかと思いましたが、それを行う方法がわかりません。何かのようなもの：

import hypothesis.strategies as st

ids = st.lists(elements=st.integers())

@st.composite
def words(draw, elements=st.text()):
    draw(sample_ids) # ???