We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 770a618 commit e7efd42Copy full SHA for e7efd42
src/lang/stmt/Stmt.ts
@@ -1,6 +1,14 @@
1
import { type Exp } from "../exp/index.ts"
2
3
-export type Stmt = AssertEqual | AssertNotEqual | Compute | Define | Import
+export type Stmt =
4
+ | AssertEqual
5
+ | AssertNotEqual
6
+ | AssertSame
7
+ | AssertNotSame
8
+ | Compute
9
+ | Define
10
+ | Import
11
+
12
export type AssertEqual = { kind: "AssertEqual"; exps: Array<Exp> }
13
export type AssertNotEqual = { kind: "AssertNotEqual"; exps: Array<Exp> }
14
export type AssertSame = { kind: "AssertSame"; exps: Array<Exp> }
0 commit comments