package conex

  1. Overview
  2. Docs

Delegation key expression

type keyref =
  1. | Remote of identifier * Digest.t * Conex_utils.Uint.t
  2. | Local of identifier
module KS : Stdlib.Set.S with type elt = keyref
type t =
  1. | Quorum of int * KS.t
  2. | And of t * t
  3. | Or of t * t
val compare : t -> t -> int
val equal : t -> t -> bool
val of_wire : Wire.s -> (t, string) Stdlib.result
val to_wire : t -> Wire.s
val hash : (string -> Digest.t) -> string Conex_utils.M.t -> t -> (Digest.t, string) Stdlib.result