HomeIsabelle/Phabricator

proper term operation Term.dest_abs;