Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: SymbolKindDto

@kortexya/reasoninglayer

@kortexya/reasoninglayer / SymbolKindDto

Type Alias: SymbolKindDto

Section titled “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:291

Symbol kind in a module.

Remarks

Section titled “Remarks”

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