To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package fstar
-
fstarlib
-
fstartaclib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type networkStream = Unix.file_descrtype tcpListener = Unix.file_descrval listen : string -> Z.t -> Unix.file_descrval accept : Unix.file_descr -> Unix.file_descrval acceptTimeout : 'a -> Unix.file_descr -> Unix.file_descrval stop : Unix.file_descr -> unitval connect : string -> Z.t -> Unix.file_descrval connectTimeout : 'a -> string -> Z.t -> Unix.file_descrval sock_send : Unix.file_descr -> FStar_Bytes.bytes -> intval sock_recv : Unix.file_descr -> int -> FStar_Bytes.cbytesval recv_async : Unix.file_descr -> Z.t -> 'a recv_resultval set_nonblock : Unix.file_descr -> unitval clear_nonblock : Unix.file_descr -> unitval recv :
Unix.file_descr ->
Z.t ->
(string, FStar_Bytes.cbytes) FStar_Error.optResultval send :
Unix.file_descr ->
FStar_Bytes.bytes ->
(string, unit) FStar_Error.optResultval close : Unix.file_descr -> unit