Module Builtin.Tag

Each tag describes an extension of FO logic

type t =
| T_lia

integer arith

| T_lra

rational arith

| T_ho

higher order

| T_ext

extensionality

| T_ind

induction

| T_data

datatypes

| T_distinct

distinct constants

| T_ac of ID.t

AC symbol

val compare : t -> t -> int
val pp : t CCFormat.printer