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