Skip to content

Type Alias: TermInputDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / 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:

  1. Reference — { term_id: string } — an existing term, by UUID
  2. Designator — { designator: { sort_name, features } } — an existing term, by its sort’s @key
  3. Inline by sort ID — { sort_id: string, features?: ... } — define inline by sort UUID
  4. Inline by sort name — { sort_name: string, features?: ... } — define inline by sort name

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.