feat: Print inductives, constructors, and recursors in env.inspect #43

Merged

aniva merged 2 commits from env/inspect into dev

2024-01-17 14:02:56 -08:00

Author	SHA1	Message	Date
Leni Aniva	93a34f9fda	feat: Print constructor and recursor info	2024-01-16 14:11:52 -08:00
Leni Aniva	a1421439f8	feat: Print inductives in env.inspect	2024-01-16 13:29:30 -08:00