functor (Abstract : Abstractions.S) ->
sig
val compute : ?library:bool -> Cil_types.kernel_function -> unit
type state = Abstract.Dom.state
type value = Abstract.Val.t
val get_stmt_state : Cil_types.stmt -> state Eval.or_bottom
val eval_expr : state -> Cil_types.exp -> value Eval.evaluated
end