YANGモデルにおいて、「MUST」文が提供する機能はどれか。

must文を使用すると、XPath式を用いて特定の条件を満たしているかどうかの論理チェックを行える。