fact: Definition maps (target:DynDgPivotTarget) (_:Into) (dataGroups : list FieldSignature) := DATA_GROUP.Build_t (Some target) dataGroups false.
imports: Coq(List) JML(ListHelpers) JML(JMLExpressionNotations) JML(JMLProgramPlusImpl)