Const_eval.Make
module Constraints : sig ... end
exception Empty
exception Not_a_constant
val integer : Transfer_functions.Term.integer Constraints.t -> Z.t
val boolean : Transfer_functions.Term.boolean Constraints.t -> bool
val binary : Transfer_functions.Term.binary Constraints.t -> Z.t