module Agda.Syntax.Fixity where

data Fixity'