Agda.Auto.SearchControl
data ExpRefInfo o