Module Colombe.Domain

type t =
  1. | IPv4 of Ipaddr.V4.t
  2. | IPv6 of Ipaddr.V6.t
  3. | Extension of string * string
  4. | Domain of string list
val equal : t -> t -> bool
val pp : t Fmt.t
module Parser : sig ... end
val of_string : string -> (t, [ `Msg of string ]) result
val of_string_exn : string -> t
val to_string : t -> string
val extension : string -> string -> (t, [ `Msg of string ]) result
type atom
val atom : string -> (atom, [ `Msg of string ]) result
val atom_exn : string -> atom
val a : string -> atom
module Peano : sig ... end
type 'a domain =
  1. | :: : atom * 'a domain -> 'a Peano.s domain
  2. | [] : Peano.z domain
val unsafe_domain_of_list_exn : string list -> t
type 'a w
val domain : 'a domain w
val ipv4 : Ipaddr.V4.t w
val ipv6 : Ipaddr.V6.t w
val make : 'a w -> 'a -> (t, [ `Msg of string ]) result
val v : 'a w -> 'a -> t