stored

tcmts.store.test.history.stored · #mmradzyc · term · runs anywhere

A definition of hash as sourceText reads, for the store's own tests (its IR is never looked at).

import type { DefRecord } from "#codebase/tcmts/core/types";

export const stored = (hash: string, sourceText: string, doc?: string): DefRecord => ({
  hash,
  kind: "term",
  componentHash: hash,
  componentIndex: 0,
  componentSize: 1,
  ir: "[]",
  sourceText,
  spans: [],
  reservedNames: [],
  initKind: "strict",
  nameHint: "f",
  nominal: false,
  deps: [],
  signature: "number",
  ...(doc ? { doc } : {}),
})

uses

used by