tract_core
macro_rules! valuefact { (_) => { ... }; ($arg:expr) => { ... }; }
Constructs an value fact.