Module functions_2 

Auto-generated module

🤖 Generated with SplitRS

Functions

register_vec_fold_axioms

Register Vec.foldl and Vec.foldr axioms.

register_vec_predicate_axioms

Register Vec.all and Vec.any axioms.

register_vec_replicate_axioms

Register Vec.replicate axiom: create a vector of n copies of a value.

register_vec_scan_axioms

Register Vec.scanl axiom: prefix sums generalization.

register_vec_unzip_axioms

Register Vec.unzip axioms: unzip a vector of pairs into two vectors.

register_vec_zip_axioms

Register Vec.zip axioms: zip two vectors of the same length element-wise.