Proofgold Term Root Disambiguation

prim1 (λ x0 . x0)

as obj
236c6..

as prop
-

theory
HOAS

stx
e4836..

address
TMaTZ..