Type Definition gluon_check::typecheck::Error [−] [src]

type Error = Errors<SpannedTypeError<Symbol>>;

Error returned when unsuccessfully typechecking an expression