Walden Yan ede9e5ffc2 [WIP] More TS Binding Features (#6412) ... * feat: basic quantfier support * feat: added isQuantifier * feat: expanded functions * wip: (lambda broken) * temp fix to LambdaImpl typing issue * feat: function type inference * formatting with prettier * fix: imported from invalid module * fix isBool bug and dumping to smtlib * substitution and model.updateValue * api to add custom func interps to model * fix: building * properly handling uint32 -> number conversion in z3 TS wrapper * added simplify * remame Add->Sum and Mul->Product * formatting		2023-02-11 15:48:29 -08:00
..
high-level	[WIP] More TS Binding Features (#6412)	2023-02-11 15:48:29 -08:00
low-level	[WIP] More TS Binding Features (#6412)	2023-02-11 15:48:29 -08:00