Type Alias: SpaceConstraintDto

SpaceConstraintDto = GeneratedSpaceConstraintDto

Defined in: src/types/spaces.ts:12

A constraint in a computation space.

Remarks

Re-exported from generated types. Discriminated union with type field. Supports unification, arithmetic, all_different, and set constraints.