Ash.SatSolver.b

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