AppliedInnerPatchToNoneException

impl

ApplyInnerPatch

OptionPatch

aField

FieldEx

add

MapPatch SetPatch

applyPatch

DataDiff DataDiff_Unit SMach_Datadiff_PimpEverything BooleanDataDiffImpl MapDataDiffImpl NumericDataDiffImpl OptionDataDiffImpl SeqDataDiffImpl SetDataDiffImpl SimpleDataDiffImpl