Module vstd::seq_lib

source ·

Macros§

  • assert_seqs_equal
    Prove two sequences s1 and s2 are equal by proving that their elements are equal at each index.

Functions§