Add doc string

Signed-off-by: Yage Hu <[email protected]>
prove-rs · Nov 7, 2024 · 3c5b5a2 · 3c5b5a2
1 parent 392c890
commit 3c5b5a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/z3/src/ast.rs b/z3/src/ast.rs
@@ -1878,6 +1878,7 @@ impl<'ctx> Seq<'ctx> {
     }
 
     varop! {
+        /// Concatenate sequences.
         concat(Z3_mk_seq_concat, Self);
     }
 }