Subst

tcmts.core.shape.Subst · #awynwvk5 · type

import type { Shape } from "#codebase/tcmts/core/shape";

export interface Subst {
  /** query variable → what it stands for in the definition */
  q: Map<number, Shape>;
  /** definition variable → what it stands for in the query */
  d: Map<number, Shape>;
  cost: number;
  notes: Set<string>;
}

uses

used by