Type Alias CaseResult

type CaseResult = {
    args: Expr[];
    case: Case;
    expected?: Expr;
    found: Expr;
    note?: string;
    pass: boolean;
    reason?: string;
    start: Expr;
    steps: number;
}