Attribute Macro smt_pat
#[smt_pat]Expand description
Allows to add SMT patterns to a lemma. For more informations about SMT patterns, please take a look here: https://fstar-lang.org/tutorial/book/under_the_hood/uth_smt.html#designing-a-library-with-smt-patterns.