Type Alias: ChaseArgDto

@kortexya/reasoninglayer / Chase / ChaseArgDto

Type Alias: ChaseArgDto

ChaseArgDto = { name: string; type: "Constant"; } | { name: string; type: "Variable"; } | { index: number; type: "Witness"; }

Defined in: src/types/chase.ts:20

One argument of a chase atom: a ground constant, a logic variable, or a chase-generated existential witness.

Remarks

Discriminated union over type, following the SDK’s tagged-union convention. On the wire this is an externally tagged Rust enum ({"Constant":"alice"}, {"Variable":"x"}, {"Witness":0}); the normalizer converts between the two shapes at the boundary.

Example

const constant: ChaseArgDto = { type: 'Constant', name: 'alice' };
const variable: ChaseArgDto = { type: 'Variable', name: 'x' };
const witness: ChaseArgDto = { type: 'Witness', index: 0 };