Index - S
| Scope | Agda.Interaction.Command |
| SendBack | Proof.Assistant.Bot |
| sendResponseBack | Proof.Assistant.Bot |
| setArendProject | Proof.Assistant.Arend |
| setEnv | Agda.Interaction.State |
| setLimits | Proof.Assistant.ResourceLimit |
| setPriority | Proof.Assistant.ResourceLimit |
| Settings | |
| 1 (Type/Class) | Proof.Assistant.Settings |
| 2 (Data Constructor) | Proof.Assistant.Settings |
| settings | Proof.Assistant.State |
| showConstraints | Agda.Interaction.Command.ShowConstraints |
| showContext | Agda.Interaction.Command.ShowContext |
| showMetas | Agda.Interaction.Command.ShowMetas |
| showScope | Agda.Interaction.Command.ShowScope |
| storeRequestContent | Agda.Interaction.Command |
| supportedCommands | |
| 1 (Function) | Idris.Interaction.Command |
| 2 (Function) | Agda.Interaction.Command |