Conex_resource.Delegation · conex 0.11.1

Establishing trust in community repositories

Version

IN THIS PACKAGE

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

Module Conex_resource . Delegation

type t = {

paths : Conex_utils.path list;

valid : Expression.t;

terminating : bool;

}

val equal : t -> t -> bool

equal a b is true if delegations a and b are identical.

val pp : t Conex_utils.fmt

pp is a pretty printer for a delegation.

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

of_wire w converts w to a delegation or error.

val wire_raw : t -> Wire.s

wire_raw t is the raw wire representation of t.