pchiusano opened this issue 5 years ago · 0 comments
It looks like terms whose types are just inferred don’t have their types shown in the output? Would be great to just always show the type signatures, similar to what the ‘view’ command does in UCM.