Ash.SatSolver.overlap-question-mark

You're seeing just the function overlap-question-mark, go back to Ash.SatSolver module for more information.