Plasma GitLab Archive
Projects Blog Knowledge

sig
  val identity_of_string : string -> Hydro_types.identity
  val string_of_identity : Hydro_types.identity -> string
  val endpoints_of_string : string -> Hydro_types.endpoint array
  val string_of_endpoints : Hydro_types.endpoint array -> string
  val proxy_addr_of_string : string -> Hydro_types.proxy_addr
  val string_of_proxy_addr : Hydro_types.proxy_addr -> string
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml