JQ (goblint.JsonSchema.JQ)

val query : Json_query.path -> Json_repr.Yojson.value -> Json_repr.Yojson.value

val query_all : 
  Json_query.path ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value list

val insert : 
  Json_query.path ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value

val replace : 
  Json_query.path ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value

val merge : 
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value ->
  Json_repr.Yojson.value