Type Alias LoopCharacterization

type LoopCharacterization = {
    bound: number;
    boundVar: string;
    increment: number;
    incrementVar: string;
    inductionVar: string;
    initialVal: number;
    isValid: boolean;
    op: string;
    tripCount: number;
}