Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ x0 ⟶ struct_e (pack_e x0 x1)

as obj
-

as prop
cc54f..^{pack_struct_e_I}

theory
HotG

stx
3fdf8..

address
TMakV..^{pack_struct_e_I}