Protocol = enum
  protoDns = "DNS", protoDnsCrypt = "DNSCrypt",
  protoDnsOverHttps = "DNS-over-HTTPS", protoDnsOverTls = "DNS-over-TLS",
  protoDnsCryptRelay = "Anonymized DNSCrypt relay"

Properties = enum
  propDnssec = "DNSSEC", propNoLog = "No logs", propNoFilter = "No filter"

Stamp = object
  address*: string           ## The IP address (and/or port) to the server.
  props*: set[Properties]    ## The set of informal properties of the server
  case proto*: Protocol      ## The protocol of the stamp.
  of protoDnsCrypt:
      providerName*: string  ## The name of the DNSCrypt provider
      publicKey*: array[32, byte] ## The Ed25519 public key of the provider
    
  of protoDnsOverHttps, protoDnsOverTls:
      hashes*: seq[array[32, byte]] ## The list of SHA256 digests of the TBS certificates in the
                                    ## certification chain. Should not be empty.
      hostname*, path*: string ## Hostname and path to the resolver.
                               ## Hostname must not be empty.
                               ## Path is ignored for DNS-over-TLS stamps.
      bootstrapIps*: seq[string] ## The list of regular DNS resolvers recommended for resolving the
                                 ## hostname if no IP address is provided. Can be empty.
    
  else:
      nil

  

proc addStamp(s: var string; stamp: Stamp) {...}{.raises: [], tags: [].}

proc `$`(stamp: Stamp): string {...}{.inline, raises: [], tags: [].}

func toInt(protocol: Protocol): int {...}{.inline, raises: [], tags: [].}

func intToProtocol(i: int): Protocol {...}{.inline, raises: [ValueError], tags: [].}

func isRelay(protocol: Protocol): bool {...}{.inline, raises: [], tags: [].}

func initDnsStamp(address: string; props: set[Properties] = {}): Stamp {...}{.inline,
    raises: [], tags: [].}

func initDnsCryptStamp(address: string; publicKey: openArray[byte];
                       providerName: string; props: set[Properties] = {}): Stamp {...}{.
    inline, raises: [], tags: [].}

func initDoHStamp(address: string = ""; hashes: openArray[array[32, byte]];
                  hostname: string; path = "/dns-query";
                  bootstrapIps: openArray[string] = [];
                  props: set[Properties] = {}): Stamp {...}{.inline, raises: [],
    tags: [].}

func initDoTStamp(address: string; hashes: openArray[array[32, byte]];
                  hostname: string; bootstrapIps: openArray[string] = [];
                  props: set[Properties] = {}): Stamp {...}{.inline, raises: [],
    tags: [].}

func initDnsCryptRelayStamp(address: string): Stamp {...}{.inline, raises: [],
    tags: [].}