Content - 9f817c88d8a5a378b9cbb7fe5e11d293cefd4683

Permalink

parameter (pair bls12_381_g1 bls12_381_g1);
storage (option (bls12_381_g1));
code {CAR; UNPAIR; ADD; SOME; NIL operation; PAIR}