package ctypes

  1. Overview
  2. Docs

Operations for generating C bindings stubs.

module Types : sig ... end
module type FOREIGN = sig ... end
module type BINDINGS = functor (F : FOREIGN with type 'a fn = unit) -> sig ... end
val write_c : Format.formatter -> prefix:string -> (module BINDINGS) -> unit

write_c fmt ~prefix bindings generates C stubs for the functions bound with foreign in bindings. The stubs are intended to be used in conjunction with the ML code generated by write_ml.

The generated code uses definitions exposed in the header file ctypes_cstubs_internals.h.

val write_ml : Format.formatter -> prefix:string -> (module BINDINGS) -> unit

write_ml fmt ~prefix bindings generates ML bindings for the functions bound with foreign in bindings. The generated code conforms to the FOREIGN interface.

The generated code uses definitions exposed in the module Cstubs_internals.

OCaml

Innovation. Community. Security.