pub fn verify<L>(s1: StoreOperand<L>) -> Item<L>
Constructs an item for the verify instruction.
verify