Module Cil_const.CurrentLoc

module CurrentLoc: State_builder.Ref  with type data = location
forward reference to current location (see Cil.CurrentLoc)

include State_builder.S
type data 
Type of the referenced value.
val set : data -> unit
Change the referenced value.
val get : unit -> data
Get the referenced value.
val clear : unit -> unit
Reset the reference to its default value.