Module Fol_decl


module Fol_decl: sig .. end

val mk_empty : string
val mk_singleton : string
val mk_union : string
val mk_inter : string
val mk_remove : string
val mk_range : string
val mk_range_inf : string
val mk_range_sup : string
val mk_integers : string
val mk_radd : string
val mk_rmult : string
val mk_rneg : string
val set_range_index : string
val mk_imodulo : Ctypes.c_int -> string
val mk_iguard : Ctypes.c_int -> string
val mk_fguard : Ctypes.c_float -> string
val neg_int : string
val add_int : string
val sub_int : string
val mul_int : string
val div_int : string
val mod_int : string
val eq_int : string
val ne_int : string
val lt_int : string
val le_int : string
val bool_not : string
val bool_and : string
val bool_or : string
val eq_int_bool : string
val ne_int_bool : string
val lt_int_bool : string
val le_int_bool : string
val neg_real : string
val add_real : string
val sub_real : string
val mul_real : string
val fract_real : string
val eq_real_bool : string
val ne_real_bool : string
val lt_real_bool : string
val le_real_bool : string
val eq_real : string
val ne_real : string
val lt_real : string
val le_real : string
val integer_of_real : string
val real_of_integer : string
val identifier : string -> string
val reserved_prefix_tbl : (string, unit) Hashtbl.t
val register_prefix : string -> unit
val has_reserved_prefix : string -> bool
module Tau: sig .. end