Type Alias: SymbolKindDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Control / SymbolKindDto

Type Alias: SymbolKindDto

SymbolKindDto = { sortId: string; type: "sort"; } | { arity: number; evaluable: boolean; type: "function"; } | { arity: number; type: "predicate"; } | { type: "constant"; value: AssignValueDto; } | { moduleName: string; type: "module"; }

Defined in: src/types/control.ts:294

Symbol kind in a module.

Remarks

Tagged union discriminated by type. Represents what kind of entity a symbol refers to (sort, function, predicate, constant, or module).