Definition jsonBoundsOptional (b : option boundsT) : list (string * json) :=
  match b with
  | Some k => [("Bounds", jsonBounds k)]
  | None   => []
  end.
