Constant mm0_util::APP_PREC

pub const APP_PREC: Prec;

The precedence of application, 1024. This determines whether f x + y is interpreted as f (x + y) or (f x) + y, by comparing the precedence of + to APP_PREC.