val initial :
(Binsec.Loader_elf.Img.t, 'a, 'b, 'c) Binsec.Loader.t_pack ->
Domain.Context.t ->
t
val initial_concrete :
(Binsec.Loader_elf.Img.t, 'a, 'b, 'c) Binsec.Loader.t_pack ->
Domain.Context.t ->
t
val reset :
(Binsec.Loader_elf.Img.t, 'a, 'b, 'c) Binsec.Loader.t_pack ->
Domain.Context.t ->
t
val dump_state : Stdlib.Format.formatter -> t -> unit
val dump_state_diff :
Stdlib.Format.formatter ->
t ->
t ->
Binsec.Virtual_address.t ->
(string, string) Stdlib.Hashtbl.t ->
unit
val is_included : t -> t -> bool