module CurrentLoc:forward reference to current location (seeComputation.REF_OUTPUT
with type data = location
Cil.CurrentLoc
)include Project.Computation.OUTPUT
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit