Agda.Syntax.Parser.Layout

openBrace

closeBrace

withLayout

offsideRule

newLayoutContext

emptyLayout