Interface: CoextensiveDefinitionDto
@kortexya/reasoninglayer / CoextensiveDefinitionDto
Interface: CoextensiveDefinitionDto
Section titled “Interface: CoextensiveDefinitionDto”Defined in: src/types/sorts.ts:487
A formula found coextensive with a sort’s definition, and its evidence.
Properties
Section titled “Properties”definition
Section titled “definition”definition:
string
Defined in: src/types/sorts.ts:489
The alternative formula, rendered.
exampleCount
Section titled “exampleCount”exampleCount:
number
Defined in: src/types/sorts.ts:491
How many examples the coincidence was observed over.