Show Information of Definition in Repl

[HoshinoTented]

How to pretty print a core decl?

[codecov]

Codecov Report

Attention: Patch coverage is 40.00000% with 9 lines in your changes missing coverage. Please review.

Project coverage is 79.08%. Comparing base (e658be7) to head (8672685).
Report is 3 commits behind head on main.

Files	Patch %	Lines
...ain/java/org/aya/cli/interactive/ReplCompiler.java	40.00%	5 Missing and 4 partials ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1127      +/-   ##
============================================
- Coverage     79.12%   79.08%   -0.04%     
- Complexity     3292     3294       +2     
============================================
  Files           302      302              
  Lines         10037    10047      +10     
  Branches       1195     1198       +3     
============================================
+ Hits           7942     7946       +4     
- Misses         1432     1435       +3     
- Partials        663      666       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ice1000]

How to pretty print a core decl?

I think we need to somehow write a conversion function