Module P11_attribute

type 'a t = 'a P11_attribute_type.t * 'a
type pack =
  1. | Pack : 'a t -> pack
val equal_pack : pack -> pack -> Ppx_deriving_runtime.bool
val compare_pack : pack -> pack -> Ppx_deriving_runtime.int
val pack_to_yojson : pack -> Yojson.Safe.t
val pack_of_yojson : Yojson.Safe.t -> pack Ppx_deriving_yojson_runtime.error_or
val to_string : 'a t -> string
val to_string_pair : 'a t -> string * string
val to_json : 'a t -> Yojson.Safe.json
val compare_types : 'a t -> 'b t -> int
val compare_types_pack : pack -> pack -> int
val compare : 'a t -> 'b t -> int
val equal : 'a t -> 'b t -> bool
val equal_types_pack : pack -> pack -> bool
val equal_values : 'a P11_attribute_type.t -> 'a -> 'a -> bool
type kind =
  1. | Secret
  2. | Public
  3. | Private
  4. | RSA
  5. | EC
val equal_kind : kind -> kind -> Ppx_deriving_runtime.bool
val kinds : pack -> kind list list

kinds returns a list of list. An attribute has kinds A; B; C if one of the lists returned by kinds has at least kinds A; B; C .

val is : kind list -> pack -> bool

Return whether a has all kinds k.

val type_ : pack -> P11_attribute_type.pack