mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-01 08:53:18 +00:00
Code Activity

Complete datatype type definitions with working TypeScript compilation

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-07-12 07:57:09 +00:00
parent fd9d9a3323
commit 695ab0c298
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/api/js/src/high-level/types.ts
View file

@ -24,8 +24,7 @@ export type AnySort<Name extends string = 'main'> =
| BoolSort<Name> | BoolSort<Name>
| ArithSort<Name> | ArithSort<Name>
| BitVecSort<number, Name> | BitVecSort<number, Name>
| SMTArraySort<Name> | SMTArraySort<Name>;
| DatatypeSort<n>;
/** @hidden */ /** @hidden */
export type AnyExpr<Name extends string = 'main'> = export type AnyExpr<Name extends string = 'main'> =
| Expr<Name> | Expr<Name>
@ -35,8 +34,7 @@ export type AnyExpr<Name extends string = 'main'> =
| RatNum<Name> | RatNum<Name>
| BitVec<number, Name> | BitVec<number, Name>
| BitVecNum<number, Name> | BitVecNum<number, Name>
| SMTArray<Name> | SMTArray<Name>;
| DatatypeExpr<n>;
/** @hidden */ /** @hidden */
export type AnyAst<Name extends string = 'main'> = AnyExpr<Name> | AnySort<Name> | FuncDecl<Name>; export type AnyAst<Name extends string = 'main'> = AnyExpr<Name> | AnySort<Name> | FuncDecl<Name>;