functionalscript 0.44.0 → 0.45.0

package/fjs/effects/memory/module.f.mjs

@@ -14,13 +14,14 @@
  * type-level API.
  *
  * @module
+ *
+ * @import { Nominal } from '../../types/nominal/types.ts'
+ * @import { Effect } from '../types.ts'
+ * @import { Key, MemCreate, MemRead, MemWrite, _MemKeyHash } from './types.ts'
  */
 
 import { asBase as nominalAsBase, asNominal as nominalAsNominal } from '../../types/nominal/module.f.mjs'
-/** @import { Nominal } from '../../types/nominal/types.ts' */
 import { do_ } from '../module.f.mjs'
-/** @import { Effect } from '../types.ts' */
-/** @import { Key, MemCreate, MemRead, MemWrite, _MemKeyHash } from './types.ts' */
 
 /** @type {(n: Nominal<'MemKey', _MemKeyHash, string>) => string} */
 export const asBase = nominalAsBase

package/fjs/effects/memory/proof.f.d.mts

@@ -1,3 +1,7 @@
+/**
+ * @import { MemOperationMap } from '../mock/types.ts'
+ * @import { Key, MemOp } from './types.ts'
+ */
 export type _MemoryState = {
     readonly next: number;
     readonly values: {

package/fjs/effects/memory/proof.f.mjs

@@ -1,12 +1,15 @@
+/**
+ * @import { MemOperationMap } from '../mock/types.ts'
+ * @import { Key, MemOp } from './types.ts'
+ */
+
 import { assert, assertEq } from '../../asserts/module.f.mjs'
 import { run } from '../mock/module.f.mjs'
-/** @import { MemOperationMap } from '../mock/types.ts' */
 import { pure, step } from '../module.f.mjs'
 import {
     asBase, asNominal,
     create, read, write,
 } from './module.f.mjs'
-/** @import { Key, MemOp } from './types.ts' */
 
 /**
  * @typedef {{

package/fjs/effects/mock/module.f.d.mts

@@ -1,6 +1,14 @@
+/**
+ * Mock effect runtimes for testing effectful programs.
+ *
+ * See `./types.ts` for the `MemOperationMap`/`RunInstance` type-level API.
+ *
+ * @module
+ *
+ * @import { Operation } from '../types.ts'
+ * @import { MemOperationMap, RunInstance } from './types.ts'
+ */
 import type { Operation } from '../types.ts';
 import type { MemOperationMap, RunInstance } from './types.ts';
-/** @import { Operation } from '../types.ts' */
-/** @import { MemOperationMap, RunInstance } from './types.ts' */
 /** @type {<O extends Operation, S>(o: MemOperationMap<O, S>) => RunInstance<O, S>} */
 export declare const run: <O extends Operation, S>(o: MemOperationMap<O, S>) => RunInstance<O, S>;

package/fjs/effects/mock/module.f.mjs

@@ -4,10 +4,12 @@
  * See `./types.ts` for the `MemOperationMap`/`RunInstance` type-level API.
  *
  * @module
+ *
+ * @import { Operation } from '../types.ts'
+ * @import { MemOperationMap, RunInstance } from './types.ts'
  */
+
 import { match } from "../module.f.mjs"
-/** @import { Operation } from '../types.ts' */
-/** @import { MemOperationMap, RunInstance } from './types.ts' */
 
 /** @type {<O extends Operation, S>(o: MemOperationMap<O, S>) => RunInstance<O, S>} */
 export const run = o => state => effect => {

package/fjs/effects/module.d.mts

@@ -1,3 +1,11 @@
+/**
+ * Impure effect interpretation: runs an `Effect` step by step against an
+ * asynchronous operation map.
+ *
+ * @module
+ *
+ * @import { Effect, Operation, ToAsyncOperationMap } from './types.ts'
+ */
 import type { Effect, Operation, ToAsyncOperationMap } from './types.ts';
 /**
  * @template {Operation} O

package/fjs/effects/module.f.d.mts

@@ -95,15 +95,17 @@
  * See `./types.ts` for the type-level API.
  *
  * @module
+ *
+ * @import { List } from '../types/list/types.ts'
+ * @import { Option } from '../types/option/types.ts'
+ * @import { Result } from '../types/result/types.ts'
+ * @import { Fold } from '../types/function/operator/types.ts'
+ * @import { Cont, Do, Effect, F, History, MatchResult, Operation, OperationMap, Param, Pr, Pure, Return, ToAsyncOperationMap } from './types.ts'
  */
 import type { List } from '../types/list/types.ts';
 import type { Option } from '../types/option/types.ts';
 import type { Result } from '../types/result/types.ts';
 import type { Effect, History, MatchResult, Operation, OperationMap, Param, Return } from './types.ts';
-/** @import { Option } from '../types/option/types.ts' */
-/** @import { Result } from '../types/result/types.ts' */
-/** @import { Fold } from '../types/function/operator/types.ts' */
-/** @import { Cont, Do, Effect, F, History, MatchResult, Operation, OperationMap, Param, Pr, Pure, Return, ToAsyncOperationMap } from './types.ts' */
 /** @type {<T>(v: T) => Effect<never, T>} */
 export declare const pure: <T>(v: T) => Effect<never, T>;
 /**

package/fjs/effects/module.f.mjs

@@ -95,16 +95,17 @@
  * See `./types.ts` for the type-level API.
  *
  * @module
+ *
+ * @import { List } from '../types/list/types.ts'
+ * @import { Option } from '../types/option/types.ts'
+ * @import { Result } from '../types/result/types.ts'
+ * @import { Fold } from '../types/function/operator/types.ts'
+ * @import { Cont, Do, Effect, F, History, MatchResult, Operation, OperationMap, Param, Pr, Pure, Return, ToAsyncOperationMap } from './types.ts'
  */
 
 import { assert } from '../asserts/module.f.mjs'
-/** @import { List } from '../types/list/types.ts' */
 import { fold } from '../types/list/module.f.mjs'
 import { at } from '../types/object/module.f.mjs'
-/** @import { Option } from '../types/option/types.ts' */
-/** @import { Result } from '../types/result/types.ts' */
-/** @import { Fold } from '../types/function/operator/types.ts' */
-/** @import { Cont, Do, Effect, F, History, MatchResult, Operation, OperationMap, Param, Pr, Pure, Return, ToAsyncOperationMap } from './types.ts' */
 
 /** @type {<T>(v: T) => Effect<never, T>} */
 export const pure = v => () => v

package/fjs/effects/module.mjs

@@ -1,4 +1,12 @@
-/** @import { Effect, Operation, ToAsyncOperationMap } from './types.ts' */
+/**
+ * Impure effect interpretation: runs an `Effect` step by step against an
+ * asynchronous operation map.
+ *
+ * @module
+ *
+ * @import { Effect, Operation, ToAsyncOperationMap } from './types.ts'
+ */
+
 import { match } from './module.f.mjs'
 
 /**

package/fjs/effects/node/memory/module.d.mts

@@ -2,6 +2,9 @@
  * Node.js interpreter helpers for memory effects.
  *
  * @module
+ *
+ * @import { Effect, ToAsyncOperationMap } from '../../types.ts'
+ * @import { Key, MemOp } from '../../memory/types.ts'
  */
 import type { Effect, ToAsyncOperationMap } from '../../types.ts';
 import type { MemOp } from '../../memory/types.ts';

package/fjs/effects/node/memory/module.mjs

@@ -2,13 +2,14 @@
  * Node.js interpreter helpers for memory effects.
  *
  * @module
+ *
+ * @import { Effect, ToAsyncOperationMap } from '../../types.ts'
+ * @import { Key, MemOp } from '../../memory/types.ts'
  */
 
 import { randomUUID } from 'node:crypto'
 import { asyncRun } from '../../module.mjs'
-/** @import { Effect, ToAsyncOperationMap } from '../../types.ts' */
 import { asBase, asNominal } from '../../memory/module.f.mjs'
-/** @import { Key, MemOp } from '../../memory/types.ts' */
 
 /** @typedef {ToAsyncOperationMap<MemOp>} MemoryOperationMap */
 

package/fjs/effects/node/memory/proof.d.mts

@@ -2,6 +2,8 @@
  * Node.js interpreter proofs for memory effects.
  *
  * @module
+ *
+ * @import { Key, MemOp } from '../../memory/types.ts'
  */
 export declare const proof: {
     nodeInterpreter: () => Promise<void>;

package/fjs/effects/node/memory/proof.mjs

@@ -2,6 +2,8 @@
  * Node.js interpreter proofs for memory effects.
  *
  * @module
+ *
+ * @import { Key, MemOp } from '../../memory/types.ts'
  */
 
 import { asyncRun } from '../../module.mjs'
@@ -9,7 +11,6 @@ import {
     asNominal,
     create, read, write,
 } from '../../memory/module.f.mjs'
-/** @import { Key, MemOp } from '../../memory/types.ts' */
 import { memoryOperationMap, run } from './module.mjs'
 import { assert, assertEq } from '../../../asserts/module.f.mjs'
 import { step } from '../../module.f.mjs'

package/fjs/effects/node/module.d.mts

@@ -11,6 +11,11 @@
  * globals directly instead.
  *
  * @module
+ *
+ * @import { Effect } from '../types.ts'
+ * @import { Server as EffectServer, Headers, Module, NodeOp, RequestListener as Erl, NodeProgram, NodeProgramOptions, WriteConsoles, TestContext, TestFn, } from './types.ts'
+ * @import { Result } from '../../types/result/types.ts'
+ * @import { StringMap } from '../../types/object/types.ts'
  */
 import type { Effect } from '../types.ts';
 import type { Headers, NodeOp, NodeProgram } from './types.ts';

package/fjs/effects/node/module.f.d.mts

@@ -1,19 +1,24 @@
+/**
+ * Node.js effect operations: filesystem (`mkdir`, `readFile`, `readdir`,
+ * `writeFile`, `rm`, `access`, plus the `readUtf8File`/`writeUtf8File` text
+ * helpers), networking (`fetch`, `createServer`, `listen`),
+ * subprocess `exec`, `log`/`error` (wrappers over `write`), `import_`, `now`,
+ * `sandbox`, `forever`, and `all`/`both` parallelism; defines the
+ * `NodeOp`/`NodeProgram` types used by the Node runner.
+ *
+ * See `./types.ts` for the type-level API.
+ *
+ * @module
+ *
+ * @import { Vec } from '../../types/bit_vec/types.ts'
+ * @import { Effect, Func, Operation } from '../types.ts'
+ * @import { List } from '../list/types.ts'
+ * @import { All, Access, Await, Console, CreateExclusive, CreateServer, Dirent, Engine, Env, Exec, ExecResult, Fetch, FileStat, Forever, Fs, Headers, Http, IncomingMessage, Import, IoResult, Listen, MakeDirectoryOptions, Mkdir, Module, Now, NodeOp, NodeProgramOptions, RandomInt, Read, ReadBytes, ReadConsoles, ReadFile, Readdir, ReaddirOptions, RequestListener, Rename, Rm, Sandbox, SandboxResult, Server, ServerResponse, Stat, Test, TestContext, TestFn, Write, WriteBytes, WriteConsoles, WriteFile, _UtfList, _WriteLoop, } from './types.ts'
+ */
 import type { Vec } from '../../types/bit_vec/types.ts';
 import type { Effect, Func, Operation } from '../types.ts';
 import type { List } from '../list/types.ts';
 import type { All, Access, Await, Console, CreateExclusive, CreateServer, Engine, Exec, Fetch, Forever, Import, IoResult, Listen, Mkdir, Now, RandomInt, Read, ReadBytes, ReadConsoles, ReadFile, Readdir, RequestListener, Rename, Rm, Sandbox, Server, Stat, Test, Write, WriteBytes, WriteFile } from './types.ts';
-/** @import { Vec } from '../../types/bit_vec/types.ts' */
-/** @import { Effect, Func, Operation } from '../types.ts' */
-/** @import { List } from '../list/types.ts' */
-/** @import {
-    All, Access, Await, Console, CreateExclusive, CreateServer, Dirent, Engine,
-    Env, Exec, ExecResult, Fetch, FileStat, Forever, Fs, Headers, Http,
-    IncomingMessage, Import, IoResult, Listen, MakeDirectoryOptions, Mkdir,
-    Module, Now, NodeOp, NodeProgramOptions, RandomInt, Read, ReadBytes,
-    ReadConsoles, ReadFile, Readdir, ReaddirOptions, RequestListener, Rename,
-    Rm, Sandbox, SandboxResult, Server, ServerResponse, Stat, Test, TestContext,
-    TestFn, Write, WriteBytes, WriteConsoles, WriteFile, _UtfList, _WriteLoop,
-} from './types.ts' */
 /**
  * True if `e` is a "file or directory does not exist" (`ENOENT`) error.
  *

package/fjs/effects/node/module.f.mjs

@@ -9,7 +9,13 @@
  * See `./types.ts` for the type-level API.
  *
  * @module
+ *
+ * @import { Vec } from '../../types/bit_vec/types.ts'
+ * @import { Effect, Func, Operation } from '../types.ts'
+ * @import { List } from '../list/types.ts'
+ * @import { All, Access, Await, Console, CreateExclusive, CreateServer, Dirent, Engine, Env, Exec, ExecResult, Fetch, FileStat, Forever, Fs, Headers, Http, IncomingMessage, Import, IoResult, Listen, MakeDirectoryOptions, Mkdir, Module, Now, NodeOp, NodeProgramOptions, RandomInt, Read, ReadBytes, ReadConsoles, ReadFile, Readdir, ReaddirOptions, RequestListener, Rename, Rm, Sandbox, SandboxResult, Server, ServerResponse, Stat, Test, TestContext, TestFn, Write, WriteBytes, WriteConsoles, WriteFile, _UtfList, _WriteLoop, } from './types.ts'
  */
+
 import { utf8, utf8ToString } from '../../text/module.f.mjs'
 import { toCodePointList } from '../../text/utf8/module.f.mjs'
 import { codePointListToString } from '../../text/utf16/module.f.mjs'
@@ -17,18 +23,6 @@ import { reverse } from '../../types/list/module.f.mjs'
 import { length } from '../../types/bit_vec/module.f.mjs'
 import { ok, error as resultError, mapOk } from '../../types/result/module.f.mjs'
 import { do_, mapStep, okStep, pure, step } from '../module.f.mjs'
-/** @import { Vec } from '../../types/bit_vec/types.ts' */
-/** @import { Effect, Func, Operation } from '../types.ts' */
-/** @import { List } from '../list/types.ts' */
-/** @import {
-    All, Access, Await, Console, CreateExclusive, CreateServer, Dirent, Engine,
-    Env, Exec, ExecResult, Fetch, FileStat, Forever, Fs, Headers, Http,
-    IncomingMessage, Import, IoResult, Listen, MakeDirectoryOptions, Mkdir,
-    Module, Now, NodeOp, NodeProgramOptions, RandomInt, Read, ReadBytes,
-    ReadConsoles, ReadFile, Readdir, ReaddirOptions, RequestListener, Rename,
-    Rm, Sandbox, SandboxResult, Server, ServerResponse, Stat, Test, TestContext,
-    TestFn, Write, WriteBytes, WriteConsoles, WriteFile, _UtfList, _WriteLoop,
-} from './types.ts' */
 
 /**
  * True if `e` is a "file or directory does not exist" (`ENOENT`) error.

package/fjs/effects/node/module.mjs

@@ -11,6 +11,11 @@
  * globals directly instead.
  *
  * @module
+ *
+ * @import { Effect } from '../types.ts'
+ * @import { Server as EffectServer, Headers, Module, NodeOp, RequestListener as Erl, NodeProgram, NodeProgramOptions, WriteConsoles, TestContext, TestFn, } from './types.ts'
+ * @import { Result } from '../../types/result/types.ts'
+ * @import { StringMap } from '../../types/object/types.ts'
  */
 
 import http from 'node:http'
@@ -23,30 +28,13 @@ import { once } from 'node:events'
 import * as testContext from 'node:test'
 
 import { concat, normalize, toPosix } from '../../path/module.f.mjs'
-/** @import { Effect } from '../types.ts' */
 import { asyncRun } from '../module.mjs'
 import { memoryOperationMap } from './memory/module.mjs'
 import { usesInlineTestContext } from './module.f.mjs'
-/**
- * @import {
- *   Server as EffectServer,
- *   Headers,
- *   Module,
- *   NodeOp,
- *   RequestListener as Erl,
- *   NodeProgram,
- *   NodeProgramOptions,
- *   WriteConsoles,
- *   TestContext,
- *   TestFn,
- * } from './types.ts'
- */
 import { asBase, asNominal } from '../../types/nominal/module.f.mjs'
-/** @import { Result } from '../../types/result/types.ts' */
 import { error, ok } from '../../types/result/module.f.mjs'
 import { asyncTryCatch } from '../../types/result/module.mjs'
 import { fromVec, listToVec, toVec } from '../../types/uint8array/module.f.mjs'
-/** @import { StringMap } from '../../types/object/types.ts' */
 import { maxLengthBytes } from '../../types/bit_vec/module.f.mjs'
 
 /** @typedef {{ readonly listen: (port: number) => void }} _Server */

package/fjs/effects/node/virtual/module.f.d.mts

@@ -2,13 +2,16 @@
  * Virtual Node-effect operations for filesystem and process tests.
  *
  * @module
+ *
+ * @import { Vec } from '../../../types/bit_vec/types.ts'
+ * @import { MemOperationMap, RunInstance } from '../../mock/types.ts'
+ * @import { Key } from '../../memory/types.ts'
+ * @import { Dirent, FileStat, IoResult, Module, NodeOp, NodeProgramOptions, SandboxResult } from '../types.ts'
+ * @import { Dir, State, _Entity } from './types.ts'
  */
 import type { RunInstance } from '../../mock/types.ts';
 import type { NodeOp, NodeProgramOptions } from '../types.ts';
 import type { State } from './types.ts';
-/** @import { Key } from '../../memory/types.ts' */
-/** @import { Dirent, FileStat, IoResult, Module, NodeOp, NodeProgramOptions, SandboxResult } from '../types.ts' */
-/** @import { Dir, State, _Entity } from './types.ts' */
 /** @type {State} */
 export declare const emptyState: State;
 /** @type {RunInstance<NodeOp, State>} */

package/fjs/effects/node/virtual/module.f.mjs

@@ -2,20 +2,21 @@
  * Virtual Node-effect operations for filesystem and process tests.
  *
  * @module
+ *
+ * @import { Vec } from '../../../types/bit_vec/types.ts'
+ * @import { MemOperationMap, RunInstance } from '../../mock/types.ts'
+ * @import { Key } from '../../memory/types.ts'
+ * @import { Dirent, FileStat, IoResult, Module, NodeOp, NodeProgramOptions, SandboxResult } from '../types.ts'
+ * @import { Dir, State, _Entity } from './types.ts'
  */
 
 import { todo } from '../../../asserts/module.f.mjs'
 import { isProperPrefix, join, parse } from '../../../path/module.f.mjs'
 import { utf8ToString } from '../../../text/module.f.mjs'
-/** @import { Vec } from '../../../types/bit_vec/types.ts' */
 import { empty, length, maxLengthBytes, msb, vec } from '../../../types/bit_vec/module.f.mjs'
 import { error, ok } from '../../../types/result/module.f.mjs'
 import { run } from '../../mock/module.f.mjs'
-/** @import { MemOperationMap, RunInstance } from '../../mock/types.ts' */
 import { asBase, asNominal } from '../../memory/module.f.mjs'
-/** @import { Key } from '../../memory/types.ts' */
-/** @import { Dirent, FileStat, IoResult, Module, NodeOp, NodeProgramOptions, SandboxResult } from '../types.ts' */
-/** @import { Dir, State, _Entity } from './types.ts' */
 
 /** @type {State} */
 export const emptyState = {

package/fjs/effects/node/virtual/proof.f.d.mts

@@ -1,4 +1,6 @@
-/** @import { Dir, JsModule } from './types.ts' */
+/**
+ * @import { Dir, JsModule } from './types.ts'
+ */
 export declare const proof: {
     rm: {
         success: () => void;
@@ -6,6 +8,7 @@ export declare const proof: {
         isDirectory: () => void;
     };
     writeFileOnDirectory: () => void;
+    writeFileOverJsModule: () => void;
     readdirRecursive: () => void;
     accessNestedPathThroughFile: () => void;
     readFileIntoDir: () => void;

package/fjs/effects/node/virtual/proof.f.mjs

@@ -1,8 +1,11 @@
+/**
+ * @import { Dir, JsModule } from './types.ts'
+ */
+
 import { assert, assertEq } from '../../../asserts/module.f.mjs'
 import { access, awaitIfPromise, fetch, rm, writeFile, readFile, readdir, import_, rename, readBytes, writeBytes, stat } from '../module.f.mjs'
 import { maxLengthBytes, vec, vec8 } from '../../../types/bit_vec/module.f.mjs'
 import { emptyState, virtual } from './module.f.mjs'
-/** @import { Dir, JsModule } from './types.ts' */
 
 export const proof = {
     rm: {
@@ -33,6 +36,15 @@ export const proof = {
         const [, result] = virtual({ ...emptyState, root })(writeFile('mydir', vec8(0x42n)))
         assert(result[0] === 'error')
     },
+    writeFileOverJsModule: () => {
+        // writeFile onto a path currently holding a JsModule (function) covers the
+        // `!Array.isArray(file)` branch of writeFileOp: the entry exists but is
+        // neither undefined nor an array.
+        /** @type {Dir} */
+        const root = { 'a.f.ts': /** @type {JsModule} */ (() => ({})) }
+        const [, result] = virtual({ ...emptyState, root })(writeFile('a.f.ts', vec8(0x42n)))
+        assert(result[0] === 'error')
+    },
     readdirRecursive: () => {
         const file = /** @type {const} */ ([vec8(0x42n)])
         /** @type {Dir} */

package/fjs/effects/proof.f.d.mts

@@ -1,3 +1,6 @@
+/**
+ * @import { Effect, Operation, OperationMap } from './types.ts'
+ */
 import type { Effect, Operation } from './types.ts';
 /**
  * Asserts that `e` yields `expected` without performing a command. Exported so

package/fjs/effects/proof.f.mjs

@@ -1,5 +1,8 @@
+/**
+ * @import { Effect, Operation, OperationMap } from './types.ts'
+ */
+
 import { step, do_, foldStep, forEachStep, mapStep, match, okStep, history, pure, runPure, historyStep } from './module.f.mjs'
-/** @import { Effect, Operation, OperationMap } from './types.ts' */
 import { error, ok } from '../types/result/module.f.mjs'
 import { assert, assertEq } from '../asserts/module.f.mjs'
 

package/fjs/emergent_testing/all.test.d.mts

@@ -0,0 +1,8 @@
+/**
+ * External-runner entry point: importing this module discovers every proof
+ * module and registers each test case with the active test runner. In this
+ * repository `node --test`, `bun test`, and `deno test` discover it by its
+ * `.test.` name; projects consuming the package re-export it from their own
+ * entry file with a bare side-effect import — see `README.md`.
+ */
+export {};

package/fjs/emergent_testing/all.test.mjs

@@ -0,0 +1,14 @@
+/**
+ * External-runner entry point: importing this module discovers every proof
+ * module and registers each test case with the active test runner. In this
+ * repository `node --test`, `bun test`, and `deno test` discover it by its
+ * `.test.` name; projects consuming the package re-export it from their own
+ * entry file with a bare side-effect import — see `README.md`.
+ */
+
+import { runEffect } from '../effects/node/module.mjs'
+import { register } from './module.f.mjs'
+
+// Top-level `await`: every proof must be registered before the runner starts
+// collecting tests.
+await runEffect(register)

package/fjs/emergent_testing/module.f.d.mts

@@ -9,11 +9,16 @@
  *   scheduling and pass/fail counting.
  *
  * @module
+ *
+ * @import { Effect, Operation } from '../effects/types.ts'
+ * @import { LoadModuleOperations, ModuleMap } from '../dev/types.ts'
+ * @import { TestFn, TestEntry, TestSet, Path, Reporter, _TestState, _TestAndPath } from './types.ts'
+ * @import { All, Await, Env, NodeProgram, NodeProgramOptions, Program, Sandbox, SandboxResult, Test, TestContext, Write, WriteConsoles } from '../effects/node/types.ts'
  */
-import type { All, Await, NodeProgram, NodeProgramOptions, Program, Sandbox, SandboxResult, Test, TestContext, Write } from '../effects/node/types.ts';
 import type { Effect, Operation } from '../effects/types.ts';
 import type { LoadModuleOperations, ModuleMap } from '../dev/types.ts';
 import type { TestEntry, TestSet, Path, Reporter, _TestAndPath } from './types.ts';
+import type { All, Await, NodeProgram, NodeProgramOptions, Program, Sandbox, SandboxResult, Test, TestContext, Write } from '../effects/node/types.ts';
 /**
  * Converts an arbitrary JS value into a `TestSet`.
  *