Ash.SatSolver.strict_filter_subset

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

strict_filter_subset(filter, candidate)

View Source