What mull means?
transitive verb. 1 : to grind or mix thoroughly : pulverize mull a portion of the pigment with the oil— H. J. Wolfe. 2 : to consider at length : ponder —often used with over mulled over his choicesIt’s a fine offer, but we need time to mull it over.