Skip to content

Commit 10da672

Browse files
committed
Run Prettier on runtime
1 parent 2a5d88c commit 10da672

File tree

110 files changed

+6523
-6008
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

110 files changed

+6523
-6008
lines changed

rt/src/AbstractLevel.mts

Lines changed: 17 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,25 @@
11
import { TroupeType } from "./TroupeTypes.mjs";
22
import { TroupeRawValue } from "./TroupeRawValue.mjs";
33

4-
export abstract class AbstractLevel <T extends AbstractLevel<T>>
5-
implements TroupeRawValue {
6-
isLevel = true ;
4+
export abstract class AbstractLevel<T extends AbstractLevel<T>>
5+
implements TroupeRawValue
6+
{
7+
isLevel = true;
78
_troupeType: TroupeType = TroupeType.LEVEL;
89
abstract dataLevel;
9-
abstract stringRep (): string
10+
abstract stringRep(): string;
1011
}
1112

12-
13-
export abstract class AbstractLevelSystem <T extends AbstractLevel<T>> {
14-
abstract BOT : T
15-
abstract TOP : T
16-
abstract ROOT : T
17-
abstract NULL : T
18-
abstract lub (...ls:T[]) : T
19-
lubs (ls:T[]) {
20-
return this.lub(...ls);
21-
}
22-
abstract glb (a : T, b: T) : T
23-
abstract flowsTo (a: T, b: T) : boolean
24-
abstract actsFor (a: T, b: T) : boolean
13+
export abstract class AbstractLevelSystem<T extends AbstractLevel<T>> {
14+
abstract BOT: T;
15+
abstract TOP: T;
16+
abstract ROOT: T;
17+
abstract NULL: T;
18+
abstract lub(...ls: T[]): T;
19+
lubs(ls: T[]) {
20+
return this.lub(...ls);
21+
}
22+
abstract glb(a: T, b: T): T;
23+
abstract flowsTo(a: T, b: T): boolean;
24+
abstract actsFor(a: T, b: T): boolean;
2525
}
26-

0 commit comments

Comments
 (0)