Module Codex_options.Location

type address_location = int64 Syntax_tree.Location_identifier.t

module L : sig ... end

include module type of struct include L end

include sig ... end

type location = Tracelog.location = ..

type location +=

1. | Function of string
2. | Instruction of {
   1. locid : address_location;
   2. address : int64;
   }
3. | Dba_instr of {
   1. locid : Binsec.Dba.Instr.t Syntax_tree.Location_identifier.t;
   2. dba_instr : Binsec.Dba.Instr.t;
   }
4. | Dba_expr of {
   1. locid : Binsec.Dba.Expr.t Syntax_tree.Location_identifier.t;
   2. dba_expr : Binsec.Dba.Expr.t;
   }

type t = location

val pp_loc : Stdlib.Format.formatter -> location -> unit

val pp_loc_stack : Stdlib.Format.formatter -> location list -> unit