Constant evmil::LOGICAL_CONNECTIVES
source · [−]pub const LOGICAL_CONNECTIVES: &'static [Token];
Expand description
Defines the set of tokens which are considered to identify logical
connectives (e.g. &&
, ||
, etc).
pub const LOGICAL_CONNECTIVES: &'static [Token];
Defines the set of tokens which are considered to identify logical
connectives (e.g. &&
, ||
, etc).