Type Definition gluon_check::typecheck::SpannedTypeError

type SpannedTypeError<Id, T = ArcType<Id>> = Spanned<HelpError<Id, T>, BytePos>;