Module type Analysis.Results

module type Results = sig .. end

type state 
type value 
val get_stmt_state : Cil_types.stmt -> state Eval.or_bottom
val eval_expr : state ->
Cil_types.exp -> value Eval.evaluated