Type Alias SearchResult

type SearchResult = {
    cache?: Expr[][];
    expr?: Expr;
    gen: number;
    probed: number;
    total: number;
}