Proofgold Term Root Disambiguation

prim1 (λ x0 . prim1 (λ x1 . x0))

as obj
32d20..

as prop
-

theory
HOAS

stx
64e99..

address
TMVgx..