docs: def dump_radl(radl, enter="\n", indent="  "):
      """Dump a RADL document."""
  
      indent = len(indent) if enter else None
      sort_keys = indent is not None
      separators = (",", ":" if indent is None else ": ")
      return json.dumps(radlToSimple(radl), indent=indent, sort_keys=sort_keys, separators=separators)