module Reduce: sig end
exception Not_constant
val get_operator_i : Ctt_abstree.binop -> Big_int.big_int -> Big_int.big_int -> Big_int.big_int
val is_floating_arithmetic_operator : Ctt_abstree.binop -> bool
val get_operator_fa : float -> float -> Ctt_abstree.binop -> float
val get_operator_fc : 'a -> 'a -> Ctt_abstree.binop -> Big_int.big_int
val compute_const_ii : Ctt_abstree.binop ->
Big_int.big_int -> Big_int.big_int -> Ctt_abstree.expr_desc
val compute_const_ff : Ctt_abstree.binop -> float -> float -> Ctt_abstree.expr_desc
val compute_const_fi : Ctt_abstree.binop -> float -> Big_int.big_int -> Ctt_abstree.expr_desc
val coerce_int_constant : Big_int.big_int -> Ctt_abstree.c_type -> Big_int.big_int
val big_int_of_float : float -> Big_int.big_int
val reduce_expression : Ctt_abstree.expr -> Ctt_abstree.expr