Open kris-brown opened 11 months ago
We should consider that typecons() and termcons() applied to a theory should return the bindings, rather than just the Idents.
typecons()
termcons()
Ident
We should consider that
typecons()
andtermcons()
applied to a theory should return the bindings, rather than just theIdent
s.