Definition jsonLoopRangeOptionProperty (lr : option loopRange) : list (string * json) :=
  match lr with
  | Some l => [("LoopRange", jsonLoopRange l)]
  | None   => []
  end.
