Remove sugar for [value<v>].

1 job for ci/sugar in 15 minutes and 2 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0 #110050
fp-timing

00:15:02