Type Definition agda_mode::resp::InvisibleGoal

type InvisibleGoal = OutputConstraint<String>;