Cstubs_applicative (cstubs_applicative.Cstubs

include module type of struct include Cstubs end

module Types = Cstubs.Types

module type FOREIGN = Cstubs.FOREIGN

module type BINDINGS = Cstubs.BINDINGS

type errno_policy = Cstubs.errno_policy

val ignore_errno : errno_policy

val return_errno : errno_policy

type concurrency_policy = Cstubs.concurrency_policy

val sequential : concurrency_policy

val unlocked : concurrency_policy

val lwt_preemptive : concurrency_policy

val lwt_jobs : concurrency_policy

module type Applicative_with_let = sig ... end

module Make_applicative_with_let
  (X : Base.Applicative.Basic) : 
  Applicative_with_let with type 'a t := 'a X.t

module Applicative_unit : sig ... end

module Applicative_id : sig ... end

module type Foreign_applicative = sig ... end

module type Bindings_with_applicative =
  functor (F : Foreign_applicative with type 'a result = Base.unit) ->
  sig ... end

module Make_applicative_unit
  (F : FOREIGN with type 'a result = Base.unit) : 
  Foreign_applicative with type 'a result = Base.unit

module Make_applicative_id
  (F : FOREIGN with type 'a result = 'a and type 'a return = 'a) : 
  Foreign_applicative with type 'a result = 'a and type 'a return = 'a

module Make_cstubs_bindings
  (B : Bindings_with_applicative)
  (F : FOREIGN with type 'a result = Base.unit) : 
  sig ... end

val make_bindings : (module Bindings_with_applicative) -> (module BINDINGS)

val write_c : 
  ?concurrency:concurrency_policy ->
  ?errno:errno_policy ->
  Stdlib.Format.formatter ->
  prefix:string ->
  (module Bindings_with_applicative) ->
  unit

val write_ml : 
  ?concurrency:concurrency_policy ->
  ?errno:errno_policy ->
  Stdlib.Format.formatter ->
  prefix:string ->
  (module Bindings_with_applicative) ->
  unit