`enum InterIntraType`: make a real enum#832

Merged

kkysen merged 3 commits intomainfrom inter-intra-type-enum

Mar 19, 2024

+64-57

Commits on Mar 18, 2024

enum InterIntraType: make a real enum
folkertdev
committed

Commits on Mar 19, 2024