Type Definition gluon_check::typecheck::SpannedTypeError

type SpannedTypeError<Id> = Spanned<TypeError<Id>, BytePos>;