AltErgoLib.Symbols
type operator =
| Tite
| Plus
| Minus
| Mult
| Div
| Modulo
| Pow
| Reach
| Access of Hstring.t
| Record
| Constr of Hstring.t
| Destruct of Hstring.t * bool
| Get
| Set
| Concat
| Extract of int * int
| BVnot
| BVand
| BVor
| Int2BV of int
| BV2Nat
| Float
| Integer_round
| Fixed
| Sqrt_real
| Sqrt_real_default
| Sqrt_real_excess
| Abs_int
| Abs_real
| Real_of_int
| Real_is_int
| Int_floor
| Int_ceil
| Integer_log2
| Max_real
| Max_int
| Min_real
| Min_int
| Not_theory_constant
| Is_theory_constant
| Linear_dependency
val underscore : t
val int : string -> t
val real : string -> t
val constr : string -> t
val destruct : guarded:bool -> string -> t
val mk_bound : bound_kind -> Ty.t -> is_open:bool -> is_lower:bool -> bound
val is_ac : t -> bool
val hash : t -> int
val to_string : t -> string
val print : Stdlib.Format.formatter -> t -> unit
val to_string_clean : t -> string
val print_clean : Stdlib.Format.formatter -> t -> unit
val fresh : ?is_var:bool -> string -> t
val is_get : t -> bool
val is_set : t -> bool
val fake_eq : t
val fake_neq : t
val fake_lt : t
val fake_le : t
val print_bound : Stdlib.Format.formatter -> bound -> unit
val string_of_bound : bound -> string
module Map : sig ... end