package conex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Delegation key expression

type keyref =

module KS : Set.S with type elt = keyref

type t =

val compare : t -> t -> int

val equal : t -> t -> bool

val keys : 
  (Digest.t * Conex_utils.Uint.t) Conex_utils.M.t ->
  t ->
  (Digest.t * Conex_utils.Uint.t) Conex_utils.M.t

val pp : t Conex_utils.fmt

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

val to_wire : t -> Wire.s

val hash : 
  (string -> Digest.t) ->
  string Conex_utils.M.t ->
  t ->
  (Digest.t, string) result

val eval : 
  t ->
  (identifier * Conex_utils.Uint.t) Digest_map.t ->
  Conex_utils.S.t ->
  bool