package arc

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

Module Arc.VerifySource

Sourcetype decoder
Sourcetype chain = private
  1. | Nil : Emile.mailbox -> chain
  2. | Valid : {
    1. fields : [ `Intact | `Changed ];
    2. body : [ `Intact | `Changed ];
    3. set : t;
    4. next : chain;
    } -> chain
  3. | Broken : t * chain -> chain
Sourcetype decode = [
  1. | `Await of decoder
  2. | `Queries of decoder * t
  3. | `Chain of chain
  4. | `Malformed of string
]
Sourcetype response = [
  1. | `Expired
  2. | `Domain_key of domain_key
  3. | `DNS_error of string
]
Sourceval decoder : unit -> decoder
Sourceval decode : decoder -> decode
Sourceval response : decoder -> ([ `raw ] Domain_name.t * response) list -> (decoder, [> `Msg of string ]) result
Sourceval queries : t -> ([ `raw ] Domain_name.t list, [> `Msg of string ]) result
Sourceval src : decoder -> string -> int -> int -> decoder