diff --git a/nanoev-picos/Nanoev_picos/Base/Raw/index.html b/nanoev-picos/Nanoev_picos/Base/Raw/index.html index c8b69d5..50472a2 100644 --- a/nanoev-picos/Nanoev_picos/Base/Raw/index.html +++ b/nanoev-picos/Nanoev_picos/Base/Raw/index.html @@ -1,2 +1,12 @@ -
Base.Rawval retry_read : Unix.file_descr -> (unit -> 'a) -> 'aval retry_write : Unix.file_descr -> (unit -> 'a) -> 'aBase.Rawval on_writable :
+ Unix.file_descr ->
+ 'a ->
+ 'b ->
+ (closed:bool -> 'a -> 'b -> unit) ->
+ unitval on_readable :
+ Unix.file_descr ->
+ 'a ->
+ 'b ->
+ (closed:bool -> 'a -> 'b -> unit) ->
+ unitval retry_read : Unix.file_descr -> (unit -> 'a) -> 'aval retry_write : Unix.file_descr -> (unit -> 'a) -> 'a