Type Alias: TermInputDto
@kortexya/reasoninglayer / TermInputDto
Type Alias: TermInputDto
Section titled “Type Alias: TermInputDto”TermInputDto =
TermInputRef|TermInputDesignator|TermInputInline|TermInputInlineByName
Defined in: src/types/homoiconic.ts:74
Input type for specifying a term in inference requests.
A structural (untagged) union with four variants:
- Reference —
{ term_id: string }— an existing term, by UUID - Designator —
{ designator: { sort_name, features } }— an existing term, by its sort’s@key - Inline by sort ID —
{ sort_id: string, features?: ... }— define inline by sort UUID - Inline by sort name —
{ sort_name: string, features?: ... }— define inline by sort name
Remarks
Section titled “Remarks”Serialization format: Untagged (structural discrimination).
The backend Rust type is TermInputDto in dto/homoiconic.rs with
#[serde(untagged)], and it tries each variant in declaration order:
Reference, Designator, Inline, InlineByName.
Use TermInput.* builders to construct these values safely.