AltErgoLib.Symbols
type operator =
| Plus |
| Minus |
| Mult |
| Div |
| Modulo |
| Concat |
| Extract |
| Get |
| Set |
| Fixed |
| Float |
| Reach |
| Access of Hstring.t |
| Record |
| Sqrt_real |
| Abs_int |
| Abs_real |
| Real_of_int |
| Int_floor |
| Int_ceil |
| Sqrt_real_default |
| Sqrt_real_excess |
| Min_real |
| Min_int |
| Max_real |
| Max_int |
| Integer_log2 |
| Pow_real_int |
| Pow_real_real |
| Integer_round |
| Constr of Hstring.t |
| Destruct of Hstring.t * bool |
| Tite |
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