Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => '∀ x0 x1 . Subq x0 x1 ⟶ Subq x1 x0 ⟶ x0 = x1', )

address
TMLX3..^set_ext