Agda.Syntax.Concrete.Operators.Parser
data MemoKey
type Parser tok a
placeholder
maybePlaceholder
notPlaceholder
sat'
data ExprView e
class IsExpr e
data ParseSections
parse
partP
atLeastTwoParts
wildOrUnqualifiedName
type family OperatorType (k :: NotationKind) (e :: *) :: *
data NK k
opP
argsP
appP
atomP