package conex

  1. Overview
  2. Docs
package conex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Conex_resource.ExpressionSource

Delegation key expression

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