Double method Null safety

void Double(
  1. CompletedGroupElement r
)

Implementation

void Double(CompletedGroupElement r) {
  var q = ProjectiveGroupElement();
  ToProjective(q);
  q.Double(r);
}