Module Downloader.Claimed_knowledge

type 'key t = [
| `All
| `Some of 'key list
| `Call of 'key pred
]
val _ : ( 'a -> Yojson.Safe.t ) -> 'a t -> Yojson.Safe.t
val sexp_of_t : 'key. ( 'key -> Ppx_sexp_conv_lib.Sexp.t ) -> 'key t -> Ppx_sexp_conv_lib.Sexp.t
val to_yojson : ( 'a -> Yojson.Safe.t ) -> 'b t -> Yojson.Safe.t
val check : equal:( 'a -> 'a -> bool ) -> [< `All | `Call of 'b -> bool | `Some of 'a list ] -> 'c -> bool