ProofWidgets.Component.Panel.GoalTypePanel
source
Display the goal type using known Expr presenters.
Expr