package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

Module `CodeQuery`

module Result = Ppx_deriving_yojson_runtime.Result

type selectable =

val selectable_to_yojson : selectable -> Yojson.Safe.t

val selectable_of_yojson : 
  Yojson.Safe.t ->
  selectable Ppx_deriving_yojson_runtime.error_or

type select = selectable list

val select_to_yojson : select -> Yojson.Safe.t

val select_of_yojson : 
  Yojson.Safe.t ->
  select Ppx_deriving_yojson_runtime.error_or

type kind =

val kind_to_yojson : kind -> Yojson.Safe.t

val kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or

type target =

val target_to_yojson : target -> Yojson.Safe.t

val target_of_yojson : 
  Yojson.Safe.t ->
  target Ppx_deriving_yojson_runtime.error_or

type find =

val find_to_yojson : find -> Yojson.Safe.t

val find_of_yojson : Yojson.Safe.t -> find Ppx_deriving_yojson_runtime.error_or

type structure =

val structure_to_yojson : structure -> Yojson.Safe.t

val structure_of_yojson : 
  Yojson.Safe.t ->
  structure Ppx_deriving_yojson_runtime.error_or

type constr =

val constr_to_yojson : constr -> Yojson.Safe.t

val constr_of_yojson : 
  Yojson.Safe.t ->
  constr Ppx_deriving_yojson_runtime.error_or

type query = {

}

val query_to_yojson : query -> Yojson.Safe.t

val query_of_yojson : 
  Yojson.Safe.t ->
  query Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or

val to_string_q : query -> string

exception Error of string

val parse_json_file : string -> query