Module Libgnudap
module Libgnudap: sig end
exception Device_not_found
exception Invalid_file
type
|
title : string; |
|
fileID : string; |
|
kind : string; |
|
cID : int array; |
|
bho1 : int array; |
|
size : int; |
}
type
|
capacity : int; |
|
available : int; |
|
files : file_info list; |
}
type
|
unknown : (unit -> int array) option; |
|
get_dev_info : (unit -> string) option; |
|
get_dev_info2 : (unit -> string) option; |
|
get_directory : (unit -> directory) option; |
|
put_file : (directory ->
file_info -> string -> (float -> float -> float -> unit) -> unit)
option; |
|
get_file : (file_info -> string -> (float -> float -> float -> unit) -> unit)
option; |
|
delete_file : (file_info -> unit) option; |
|
format : (unit -> unit) option; |
|
move : (file_info -> int -> unit) option; |
|
rename : (file_info -> file_info -> unit) option; |
|
close : (unit -> unit) option; |
}
type known_device -> work_device
type
|
dev : Usb_fun.device; |
|
protocol : protocol; |
}
val open_dap : known_device -> work_device val choosefID : directory -> string val finfo : string -> directory -> file_info val pbar1 : float -> float -> float -> unit val call : 'a option -> 'a
|
