module DT:Datatype.Option
(
Datatype.Pair
(
Cil_datatype.Stmt.Map.Make
(
Datatype.Pair
(
Datatype.Bool
)
(
Datatype.Bool
)
)
)
(
Datatype.Option
(
Locations.Zone
)
)
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.