1 2 3
Require Import Crypto.Specific.GF25519Reflective.Common. Definition rcarry_addZ_sig : rexpr_binop_sig carry_add. Proof. reify_sig. Defined.