Interface: AntiUnifyResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Operations / AntiUnifyResponse

Interface: AntiUnifyResponse

Defined in: src/types/operations.ts:26

Result of an anti-unification call.

Carries the newly-created LGG term’s id plus an enriched view (sort name, display name, referenced-term summaries) so callers don’t need a follow-up getTerm round-trip.

Properties

computationTimeMs

computationTimeMs: number

Defined in: src/types/operations.ts:32

Engine + lock-acquisition time, in milliseconds.

---

lgg

lgg: TermDto

Defined in: src/types/operations.ts:30

Enriched view of the LGG term.

---

lggTermId

lggTermId: string

Defined in: src/types/operations.ts:28

Id of the newly-created LGG term.