Function solve

pub fn solve(facts: &BorrowFacts) -> SolverResult

Expand description

Run the Datafrog solver to compute loan liveness and detect errors.

solve