package conex

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

Module Conex_resource.DelegationSource

Sourcetype t = {
  1. paths : Conex_utils.path list;
  2. valid : Expression.t;
  3. terminating : bool;
}
Sourceval equal : t -> t -> bool

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

pp is a pretty printer for a delegation.

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

of_wire w converts w to a delegation or error.

Sourceval wire_raw : t -> Wire.s

wire_raw t is the raw wire representation of t.