stateAt

tcmts.cli.main.stateAt · #bju2jzah · term · runs anywhere

import type { Codebase } from "#codebase/tcmts/cli/codebase";
import { stateOf } from "#codebase/tcmts/cli/diff";

export const stateAt = (cb: Codebase, causal: string) => stateOf(cb.store.namespaceRows(cb.store.causal(causal)!.namespace))

uses

used by