(* To load this file into the OCaml interpreter, type

   #use "boolean.ml"

   at the OCaml prompt
*)

type formula =
    False
  | True
  | Var of char
  | And of formula * formula
  | Or of formula * formula
  | Not of formula
  | Forall of char * formula
  | Exists of char * formula

type assignment = (char * bool) list

type vec = formula list