(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?0 : Set " nil)
((last . 1) . (agda2-goals-action '(0)))
(agda2-status-action "")
(agda2-info-action "*Module contents*" "Modules Names Obj : Set Hom : Obj → Obj → Set Eq : {A B : Obj} → Hom A B → Hom A B → Set id : (A : Obj) → Hom A A comp : {A B : Obj} {C = C₁ : Obj} → Hom B C₁ → Hom A B → Hom A C₁" nil)
