Type Definition EdwardsProjective
ark_ed_on_cp6_782
type EdwardsProjective = GroupProjective<EdwardsParameters>;