Parameter Make.X

module Val : sig ... end
module Loc : sig ... end
module Dom : sig ... end
module Eval : sig ... end
include Eva.Analysis.Results with type state := Dom.state and type value := Val.t and type location := Loc.location
val get_global_state : unit -> Dom.state Eva.Eval.or_top_bottom
val get_stmt_state : after:bool -> Frama_c_kernel.Cil_types.stmt -> Dom.state Eva.Eval.or_top_bottom
val get_stmt_state_by_callstack : ?selection:Eva.Callstack.t list -> after:bool -> Frama_c_kernel.Cil_types.stmt -> Dom.state Eva.Callstack.Hashtbl.t Eva.Eval.or_top_bottom