package conex

You can search for identifiers within the package.

in-package search v0.2.0

conex
- Conex
  - Make
    
    C
    
    L
    
    Tag
- Conex_diff
- Conex_diff_provider
- Conex_io
- Conex_opam_encoding
- Conex_private
  - FS
  - Make
    
    C
    
    F
  - S
  - S_RSA_BACK
- Conex_repository
- Conex_resource
  - Delegation
  - Digest
  - Digest_map
  - Expression
    
    KS
  - Header
  - Key
  - Root
  - Signature
  - Target
  - Targets
  - Wire
- Conex_utils
  - LOGS
    
    Tag
  - M
  - S
  - String
  - Tree
  - Uint
  - Uint_map
- Conex_verify
  - Make
    
    C
  - S
  - S_RSA_BACK
conex.openssl
- Conex_openssl
  - O_V
  - V
conex.unix

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

created : timestamp;
counter : Conex_utils.Uint.t;
epoch : Conex_utils.Uint.t;
name : identifier;
keys : Key.t Conex_utils.M.t;
valid : Expression.t;
delegations : Delegation.t list;
targets : Target.t list;
signatures : Signature.t Conex_utils.M.t;

}

val t : 
  ?counter:Conex_utils.Uint.t ->
  ?epoch:Conex_utils.Uint.t ->
  ?keys:Key.t Conex_utils.M.t ->
  ?delegations:Delegation.t list ->
  ?targets:Target.t list ->
  ?signatures:Signature.t Conex_utils.M.t ->
  timestamp ->
  identifier ->
  Expression.t ->
  t

val add_signature : t -> identifier -> Signature.t -> t

val equal : t -> t -> bool

equal a b is true if all fields of a and b are equal.

val pp : t Conex_utils.fmt

pp t is a pretty printer for a targets.

val of_wire : Wire.t -> (t * string list, string) result

of_wire w converts w to a targets or error.

val wire : t -> Wire.t

wire t is the wire representation of t.

val wire_raw : t -> Wire.t

wire_raw t is the wire representation of t.