module type Domain =sig
..end
type
state
val eval_expr : with_alarms:CilE.warn_mode ->
state -> Cil_types.exp -> state * Cvalue_type.V.t
val do_assign : with_alarms:CilE.warn_mode ->
state -> Cil_types.lval -> Cil_types.exp -> state
val eval_cond : with_alarms:CilE.warn_mode ->
state -> Eval.cond -> state
val widen : state -> state -> state
val join : state -> state -> state
val call : Db_types.kernel_function -> state -> state
val return : Db_types.kernel_function -> state -> state