format

Author: xieyuheng

src/lang/equivalent/index.ts

@@ -1,3 +1,3 @@
-export * from "./EquivalentCtx.js"
 export * from "./equivalent.js"
+export * from "./EquivalentCtx.js"
 export * from "./equivalentNeutral.js"

src/lang/mod/index.ts

@@ -1,5 +1,5 @@
-export * from "./Mod.js"
 export * from "./createMod.js"
+export * from "./Mod.js"
 export * from "./modDefine.js"
 export * from "./modFind.js"
 export * from "./modFindValue.js"

src/lang/readback/index.ts

@@ -1,3 +1,3 @@
-export * from "./ReadbackCtx.js"
 export * from "./readback.js"
+export * from "./ReadbackCtx.js"
 export * from "./readbackNeutral.js"

src/lang/value/index.ts

@@ -1,2 +1,2 @@
-export * from "./Value.js"
 export * from "./lazyActive.js"
+export * from "./Value.js"

src/sexp/pattern-exp/index.ts

@@ -1,2 +1,2 @@
-export * from "./PatternExp.js"
 export * from "./evaluate.js"
+export * from "./PatternExp.js"

src/sexp/pattern/index.ts

@@ -1,4 +1,4 @@
-export * from "./Pattern.js"
 export * from "./formatPattern.js"
 export * from "./matchPattern.js"
+export * from "./Pattern.js"
 export * from "./unfoldFormatCons.js"

src/sexp/sexp/index.ts

@@ -1,3 +1,3 @@
-export * from "./Sexp.js"
 export * from "./formatSexp.js"
+export * from "./Sexp.js"
 export * from "./unfoldFormatCons.js"