module type Results = sig .. end
sig
end
type state
type value
val get_stmt_state : Cil_types.stmt -> state Eval.or_bottom
Cil_types.stmt -> state Eval.or_bottom
val eval_expr : state -> Cil_types.exp -> value Eval.evaluated
state -> Cil_types.exp -> value Eval.evaluated