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 socket = Unix.file_descrtype udpListener = Unix.file_descrval stop : Unix.file_descr -> unitval close : Unix.file_descr -> unitval connect : 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 :
Unix.file_descr ->
Z.t ->
(string, FStar_Bytes.cbytes) FStar_Error.optResultval send :
Unix.file_descr ->
FStar_Bytes.bytes ->
(string, unit) FStar_Error.optResultval sock_split : Unix.file_descr -> in_channel * out_channelval flush : out_channel -> unit