module D: Datatype.Option(Datatype.Pair(Cil_datatype.Stmt.Hptset)(Datatype.Option(Locations.Zone)))
Datatype.Option
(
Datatype.Pair
Cil_datatype.Stmt.Hptset
)
Locations.Zone
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Datatype.t -> Datatype.t
x
copy x