Type Definition gluon_check::kindcheck::Result

type Result<T> = StdResult<T, SpannedError<Symbol, RcType<Symbol>>>;