逆方向反復子ポリシーの実装が満たすべき要件について述べる。

ポリシーは、2相テンプレートとステートレスポリシーで構成される。フロントエンドのクラス名をpolicy_sample、バックエンド導出のために与えられた反復子の型をITとすると、バックエンドのクラスは

という記述で得られる。以降、バックエンドのクラス名をbackendと表記する。

backendは次のpublicな型を持つ。