module Agda.Syntax.Parser.Layout where

import Agda.Syntax.Parser.Alex
import Agda.Syntax.Parser.Tokens

offsideRule      :: LexAction Token
newLayoutContext :: LexAction Token
emptyLayout      :: LexAction Token