Ash.SatSolver.balance

You're seeing just the function balance, go back to Ash.SatSolver module for more information.