1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

#![feature(box_syntax)]
#![feature(map_first_last)]

pub mod traits;
pub(crate) mod solvers;
pub(crate) mod utils;

pub use math_ast::{AST};
pub use solvers::basic;
pub use utils::catalan_tree;

#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
pub enum Maybe32 {
    Nothing,
    Integer(i32),
    Decimal(f32),
}

// Plus[Plus[Plus[Slot[1], Slot[2]], Slot[3]], Slot[4]]
// Plus(box Plus(box Plus(box Number(a1), box Number(a2)), box Number(a3)), box Number(a4))