Definition jsonClip (c : clip) : json :=
  JsonObject (app [
    ("ID",           JsonInteger (clipId c));
    ("Name",         JsonString (clipName c));
    ("Format",       JsonString (audioFormatDescribe (clipFormat c)));
    ("SampleRate",   JsonInteger (clipSampleRate c));
    ("SampleDepth",  JsonInteger (clipSampleDepth c));
    ("Channels",     JsonInteger (clipChannels c));
    ("Endianness",   JsonString (octetOrderDescribe (clipEndianness c)));
    ("Hash",         jsonHash (clipHash c));
    ("Offset",       JsonInteger (clipOffset c));
    ("Size",         JsonInteger (clipSize c))
  ] (jsonLoopRangeOptionProperty (clipLoopRange c))).
