let rec calc expr =
    match expr with
    |Const a -> a
    |Add(a b) -> calc a + calc b
    |Sub(a b) -> calc a - calc b
    |Mul(a b) -> calc a * calc b
    |Div(a b) -> calc a / calc b