Module AltErgoLib.Xliteral

type builtin = Symbols.builtin =
  1. | LE
  2. | LT
  3. | IsConstr of Dolmen.Std.Expr.term_cst
  4. | BVULE
  5. | BVuaddo
  6. | BVsaddo
  7. | BVumulo
  8. | BVsmulo
type 'a view =
  1. | Eq of 'a * 'a
  2. | Distinct of bool * 'a list
  3. | Builtin of bool * builtin * 'a list
  4. | Pred of 'a * bool
type 'a atom_view
module type OrderedType = sig ... end
module type S = sig ... end
val print_view : 'a Fmt.t -> 'a view Fmt.t
module Make (X : OrderedType) : S with type elt = X.t