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