HomeIsabelle/Phabricator

show sum_list defn