module Term

type Term =
// Constants
| False
| True

// Variables
| Var of int

// Quantifiers
| All of Term * Term

// Predicates
| And of Term list
| Eqv of Term * Term
| Not of Term
| Or of Term list

// Comparison
| Equal of Term * Term