Guest User

Untitled

a guest
Feb 16th, 2019
81
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.41 KB | None | 0 0
  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} *)
Add Comment
Please, Sign In to add comment