specify union classes

1 files changed, 14 insertions, 0 deletions

diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index 142c20a..8fec210 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -3,3 +3,17 @@
 ---
 
 List of complete functions, selected by signature
+
+```text
+Overload[FN; ...]
+```
+
+## Example
+
+```text
+add : Overload[Fn[.native; I64; Tuple[I64.x; I64.y]; ...]; Fn[.native; F64; Tuple[F64.x; F64.y]; ...]; ...]
+
+`log add `call_native (1; 2) // Valid calls first
+`log add `call_native (1.1; 2.2) // Valid calls second
+`log add `call_native (1; 2.2) // Invalid no signature match
+```