val extern :
concurrency:[ `Sequential | `Lwt_jobs | `Lwt_preemptive | `Unlocked ] ->
errno:[ `Ignore_errno | `Return_errno ] ->
stub_name:string ->
external_name:string ->
Format.formatter ->
('a -> 'b) Ctypes.fn ->
unitval case :
concurrency:[ `Sequential | `Lwt_jobs | `Lwt_preemptive | `Unlocked ] ->
errno:[ `Ignore_errno | `Return_errno ] ->
stub_name:string ->
external_name:string ->
Format.formatter ->
('a -> 'b) Ctypes.fn ->
unitval val_case :
stub_name:string ->
external_name:string ->
Format.formatter ->
'a Ctypes.typ ->
unitval constructor_decl :
concurrency:[ `Sequential | `Lwt_jobs | `Lwt_preemptive | `Unlocked ] ->
errno:[ `Ignore_errno | `Return_errno ] ->
string ->
'a Ctypes.fn ->
Format.formatter ->
unitval inverse_case :
register_name:string ->
constructor:string ->
string ->
Format.formatter ->
('a -> 'b) Ctypes.fn ->
unit