test.ml

type arith_op = Add | Sub | Mul | Div
type rel_op = And | Or

type _ term =
  | Bool : bool -> bool term
  | Int : int -> int term
  | Arith : arith_op * int term * int term -> int term
  | Rel : rel_op * bool term * bool term -> bool term
  | If : bool term * 'a term * 'a term -> 'a term

type plainterm =
  | Bool of bool
  | Int of int
  | Arith of arith_op * plainterm * plainterm
  | Rel of rel_op * plainterm * plainterm
  | If of plainterm * plainterm * plainterm