Module Value_perf.Call_site

module Call_site: Datatype.Pair(Kernel_function)(Cil_datatype.Kinstr)

include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x and copy x.