Type alias SplitSolverNode

SplitSolverNode: {
    body: Body | null;
    children: SplitSolverNode[];
    eqs: Equation[];
    visited: boolean;
}