Proofgold Term Root Disambiguation

λ x0 . lam_id (ap x0 0)

as obj
a097c..^struct_id

as prop
-

theory
HotG

stx
ef27a..

address
TMaF9..^struct_id