package conex

  1. Overview
  2. Docs
type t = {
  1. paths : Conex_utils.path list;
  2. valid : Expression.t;
  3. terminating : bool;
}
val equal : t -> t -> bool

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

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.