From 352666b19fd782df6623645f46cfb52f0044aeef Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Wed, 22 Jun 2022 14:51:40 -0700
Subject: [PATCH] JS api: fix type for from (#6103)

* JS api: fix type for from

* whitespace
---
 src/api/js/src/high-level/high-level.ts | 3 ++-
 src/api/js/src/high-level/types.ts      | 8 ++++++--
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index c68e803f9..489d4acdb 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -462,7 +462,8 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
     }
 
     function from(primitive: boolean): Bool<Name>;
-    function from(primitive: number | CoercibleRational): RatNum<Name>;
+    function from(primitive: number): IntNum<Name> | RatNum<Name>;
+    function from(primitive: CoercibleRational): RatNum<Name>;
     function from(primitive: bigint): IntNum<Name>;
     function from<T extends Expr<Name>>(expr: T): T;
     function from(expr: CoercibleToExpr<Name>): AnyExpr<Name>;
diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index eae81ff98..d8bda01a1 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -184,9 +184,13 @@ export interface Context<Name extends string = 'main'> {
    * @category Functions */
   from(primitive: boolean): Bool<Name>;
   /**
-   * Coerce a number or rational into a Real expression
+   * Coerce a number to an Int or Real expression (integral numbers become Ints)
    * @category Functions */
-  from(primitive: number | CoercibleRational): RatNum<Name>;
+  from(primitive: number): IntNum<Name> | RatNum<Name>;
+  /**
+   * Coerce a rational into a Real expression
+   * @category Functions */
+  from(primitive: CoercibleRational): RatNum<Name>;
   /**
    * Coerce a big number into a Integer expression
    * @category Functions */