Interface: SortRefFeatureValue
@kortexya/reasoninglayer / SortRefFeatureValue
Interface: SortRefFeatureValue
Section titled “Interface: SortRefFeatureValue”Defined in: src/types/values.ts:862
A SORT named as a value — the engine’s Value::SortId.
Remarks
Section titled “Remarks”For example the of in a rule head written with { sortRef: <k_kind> }, or
a sort constraint’s sort in a rule body (#353). It used to arrive as a
bare TermRefFeatureValue, which named a sort as if it were a term.
sort_name is absent only when the caller’s lattice does not hold the sort;
the engine never invents a name. The value round-trips: send
{ sortRef: sort_ref } (see featureValueToInput()), and the engine ignores
sort_name on the way in.
Properties
Section titled “Properties”sort_name?
Section titled “sort_name?”
optionalsort_name?:string
Defined in: src/types/values.ts:866
The sort’s name in the caller’s lattice. Absent when the lattice does not hold it.
sort_ref
Section titled “sort_ref”sort_ref:
string
Defined in: src/types/values.ts:864
The sort’s UUID.