Macro lrs::term

macro_rules! term {
    ( $( $x:expr ),* ) => { ... };
}

A helper macro that creates terms with a variable amount of symbols based on the more user friendly syntax

term!["A", "!B", "C"]

Please note that your symbols aren't allowed to be multi-character but can include all utf-8 symbols (including emoji 🔥🎉)