From 93a4afe5d22885fb5f0c8149ba588048663571ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 17 Mar 2019 11:36:29 -0700
Subject: [PATCH] add multi-argument select for C#

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/ArrayExpr.cs | 2 ++
 src/api/dotnet/SeqExpr.cs   | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/api/dotnet/ArrayExpr.cs b/src/api/dotnet/ArrayExpr.cs
index 5fc27d253..513696f12 100644
--- a/src/api/dotnet/ArrayExpr.cs
+++ b/src/api/dotnet/ArrayExpr.cs
@@ -39,11 +39,13 @@ namespace Microsoft.Z3
         }
         #endregion	
 
+        /// <summary> Single argument select </summary>
         public Expr this[Expr index] 
         {
             get { return Context.MkSelect(this, index); }
         }
 
+        /// <summary> Multi argument select </summary>
         public Expr this[IEnumerable<Expr> index] 
         {
             get { return Context.MkSelect(this, index.ToArray()); }
diff --git a/src/api/dotnet/SeqExpr.cs b/src/api/dotnet/SeqExpr.cs
index 1544d630f..227556391 100644
--- a/src/api/dotnet/SeqExpr.cs
+++ b/src/api/dotnet/SeqExpr.cs
@@ -39,6 +39,7 @@ namespace Microsoft.Z3
         }
         #endregion
 
+        /// <summary> Access the nth element of a sequence </summary>
         public Expr this[Expr index] 
         {
             get { return Context.MkNth(this, index); }