Proofgold Term Root Disambiguation

prim1 (λ x1 . 236c6..) = 236c6.. ⟶ False

as obj
-

as prop
732ef..

theory
HOAS

stx
2ed5d..

address
TMKsy..