Agda.Interaction.InteractionTop
data CommandState
type OldInteractionScopes
type CommandM
oldInteractionScopes
.data Command
type CommandQueue
type Interaction
data Interaction' range
type IOTCM
data IOTCM' range
type Parse a
data CompilerBackend
data GiveRefine