Searched refs:prop_mut_modify (Results 1 – 12 of 12) sorted by relevance
538 prop_mut_modify = \xs f -> function