partitionTypes | Language.SequentCore.Syntax, Language.SequentCore |
plugin | |
1 (Function) | Language.SequentCore.Dump |
2 (Function) | Language.SequentCore.Inspect |
3 (Function) | Language.SequentCore.Simpl |
4 (Function) | Language.SequentCore.SpecConstr |
pprTopLevelBinds | Language.SequentCore.Pretty, Language.SequentCore |
Program | Language.SequentCore.Syntax, Language.SequentCore |