Constant FORALL 

pub const FORALL: &str = "forall";