SHARE
TWEET

Untitled

a guest Feb 16th, 2019 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli
  2. index d8a1575..f4ec9e3 100644
  3. --- a/otherlibs/unix/unix.mli
  4. +++ b/otherlibs/unix/unix.mli
  5. @@ -912,6 +912,8 @@ val inet6_addr_any : inet_addr
  6.  val inet6_addr_loopback : inet_addr
  7.  (** A special IPv6 address representing the host machine ([::1]). *)
  8.  
  9. +val is_inet6_addr : inet_addr -> bool
  10. +(** Test if an IP address is an IPv6 address. *)
  11.  
  12.  (** {6 Sockets} *)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top