Definition jsonIndexOptional (b : option indexInfoT) : list (string * json) :=
  match b with
  | Some k => [("Index", jsonIndex k)]
  | None   => []
  end.
