open Ast
open Parser

EXTEND
  term: LEVEL "add"
    [
      [ t1 = term; SYMBOL "∨"; t2 = term ->
          return_term loc (Appl [Ident ("or", []); t1; t2])
      ]
    ];
  term: LEVEL "mult"
    [
      [ t1 = term; SYMBOL "∧"; t2 = term ->
        return_term loc (Appl [Ident ("and", []); t1; t2])
      ]
    ];
  term: LEVEL "inv"
    [
      [ SYMBOL "¬"; t = term ->
        return_term loc (Appl [Ident ("not", []); t])
      ]
    ];
END