Definition flagJson (f : keyAssignmentFlag) : json :=
  JsonString (keyAssignmentFlagDescribe f).
