Module Location.L

include sig ... end

type location = Tracelog.location = ..

type location +=

1. | Function of Frama_c_kernel.Kernel_function.t
2. | Kinstr of Frama_c_kernel.Cil_types.kinstr
3. | JoinPoint of Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.kinstr
4. | FunctionReturn
5. | Expression of Frama_c_kernel.Cil_types.exp

type t = location