Module Location.L

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