AppliedInnerPatchToNoneException

impl

ApplyInnerPatch

OptionPatch

add

MapPatch SetPatch

applyPatch

DataDiff_Unit SMach_Datadiff_PimpEverything BooleanDataDiffImpl MapDataDiffImpl NumericDataDiffImpl OptionDataDiffImpl SeqDataDiffImpl SetDataDiffImpl SimpleDataDiffImpl