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