module Occurrence_datatype:Datatype.Triple
(
Datatype.Option
(
Kernel_function
)
)
(
Cil_datatype.Kinstr
)
(
Cil_datatype.Lval
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x
and copy x
.