Binsec.Parse_helpersval incr_address : Dba.address -> unitval patch_expr_size : Dba.Expr.t -> int -> Dba.Expr.tval expr_of_name : string -> Dba.Expr.tmodule Initialization : sig ... endmodule Message : sig ... endmodule Declarations : sig ... endmodule Mk : sig ... endval mk_patches : (int * 'a) list -> 'a Virtual_address.Map.t