Up
–
coq-core
»
DebugHook
» Answer
Module
DebugHook.Answer
type
t
=
|
Prompt
of
Pp.t
|
Goal
of
Pp.t
|
Output
of
Pp.t