Module Conex_repository

type t
val root : t -> Conex_resource.Root.t
val keydir : t -> Conex_utils.path
val datadir : t -> Conex_utils.path
val targets : t -> (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) Conex_utils.Tree.t
val with_targets : t -> (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) Conex_utils.Tree.t -> t
val maintainer_delegation : t -> (Conex_resource.Expression.t * bool * Conex_utils.S.t) option
val create : Conex_resource.Root.t -> t
type res = [
| `Only_on_disk of Conex_utils.path
| `Only_in_targets of Conex_utils.path
| `No_match of Conex_utils.path * (Conex_resource.Digest.t * Conex_utils.Uint.t) list * (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) list
]
val pp_res : res Conex_utils.fmt
val validate_targets : t -> (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.Tree.t -> res list
val collect_and_validate_delegations : (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.M.t -> Conex_utils.path -> Conex_resource.Expression.t -> Conex_resource.Targets.t list -> (Conex_utils.path * Conex_resource.Expression.t * bool * Conex_utils.S.t) list
val collect_and_validate_targets : ?⁠tree:(Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) Conex_utils.Tree.t -> (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.M.t -> Conex_utils.path -> Conex_resource.Expression.t -> Conex_resource.Targets.t list -> (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) Conex_utils.Tree.t