From afb9f42e19d5f475462f0e70635b9e95c4dfd404 Mon Sep 17 00:00:00 2001
From: Ketasaja <ketasaja@proton.me>
Date: Fri, 24 Jan 2025 22:05:10 +0000
Subject: [PATCH] Fix `table.newtype` argument (#93)

---
 docs/user-defined-type-functions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/user-defined-type-functions.md b/docs/user-defined-type-functions.md
index 9f83feb..eee00cf 100644
--- a/docs/user-defined-type-functions.md
+++ b/docs/user-defined-type-functions.md
@@ -113,7 +113,7 @@ This section details the initial programming interface we propose for `type`s wh
 | `negationof(arg: type)` | `type` | returns an immutable instance of the parameter as a negated type; the parameter cannot be a table or function type |
 | `unionof(...: type)` | `type` | returns an immutable instance of an union type of the arguments; requires at least 2 parameters to be provided |
 | `intersectionof(...: type)` | `type` | returns an immutable instance of an intersection type of the arguments; requires at least 2 parameters to be provided |
-| `newtable(props: {[type]: type \| { read: type, write: type } }?, indexer: { key: type, value: type }?, metatable: type?)` | `type` | returns a mutable instance of a table type; the keys of the table's property must be a singleton type; sets the table's metatable if one is provided |
+| `newtable(props: {[type]: type \| { read: type, write: type } }?, indexer: { index: type, readresult: type, writeresult: type }?, metatable: type?)` | `type` | returns a mutable instance of a table type; the keys of the table's property must be a singleton type; sets the table's metatable if one is provided |
 | `newfunction(parameters: { head: {type}?, tail: type? }, returns: { head: {type}?, tail: type? })` | `type` | returns a mutable instance of a `function` type |
 | `copy(arg: type)` | `type` | returns a deep copy of the given `type` |