Currency.Signed_var
type 'mag repr = ( 'mag, Sgn.var ) Signed_poly.t
type nonrec 'mag t = {
repr : 'mag repr;
mutable value : Snark_params.Tick.Field.Var.t option;
}