sig
type
t =
DestroySource
|
PreserveSource
end