sig   type state   type return   type value   type location   type valuation   val update : valuation -> state -> state   val assign :     Cil_types.kinstr ->     location Eval.left_value ->     Cil_types.exp ->     value Eval.assigned -> valuation -> state -> state Eval.or_bottom   val assume :     Cil_types.stmt ->     Cil_types.exp -> bool -> valuation -> state -> state Eval.or_bottom   val start_call :     Cil_types.stmt ->     value Eval.call ->     valuation -> state -> (state, return, value) Eval.call_action   val finalize_call :     Cil_types.stmt ->     value Eval.call -> pre:state -> post:state -> state Eval.or_bottom   val make_return :     Cil_types.kernel_function ->     Cil_types.stmt -> value Eval.assigned -> valuation -> state -> return   val assign_return :     Cil_types.stmt ->     location Eval.left_value ->     Cil_types.kernel_function ->     return ->     value Eval.assigned -> valuation -> state -> state Eval.or_bottom   val default_call :     Cil_types.stmt ->     value Eval.call -> state -> (state, return, value) Eval.call_result   val enter_loop : Cil_types.stmt -> state -> state   val incr_loop_counter : Cil_types.stmt -> state -> state   val leave_loop : Cil_types.stmt -> state -> state   val leave_scope :     Cil_types.kernel_function -> Cil_types.varinfo list -> state -> state   module Store :     sig       val register_initial_state : Value_types.callstack -> state -> unit       val register_state_before_stmt :         Value_types.callstack -> Cil_types.stmt -> state -> unit       val register_state_after_stmt :         Value_types.callstack -> Cil_types.stmt -> state -> unit       val get_initial_state :         Cil_types.kernel_function -> state Eval.or_bottom       val get_initial_state_by_callstack :         Cil_types.kernel_function ->         state Value_types.Callstack.Hashtbl.t option       val get_stmt_state : Cil_types.stmt -> state Eval.or_bottom       val get_stmt_state_by_callstack :         after:bool ->         Cil_types.stmt -> state Value_types.Callstack.Hashtbl.t option     end   type t = state   val ty : t Type.t   val name : string   val descr : t Descr.t   val packed_descr : Structural_descr.pack   val reprs : t list   val equal : t -> t -> bool   val compare : t -> t -> int   val hash : t -> int   val pretty_code : Format.formatter -> t -> unit   val internal_pretty_code : Type.precedence -> Format.formatter -> t -> unit   val pretty : Format.formatter -> t -> unit   val varname : t -> string   val mem_project : (Project_skeleton.t -> bool) -> t -> bool   val copy : t -> t end