Module `Cstubs_c_language`Source

Sourceval fresh_var : ?prefix:string -> unit -> string

Sourcetype ty =

| Ty : _ Ctypes_static.typ -> ty

Sourcetype tfn =

| Fn : _ Ctypes_static.fn -> tfn

Sourcetype fieldname = string

Sourcetype cfunction = {

fname : string;
allocates : bool;
reads_ocaml_heap : bool;
fn : tfn;

}

Sourcetype cglobal = {

name : string;
typ : ty;
references_ocaml_heap : bool;

}

Sourcetype clocal = [

| `Local of string * ty

]

Sourcetype cvar = [

| clocal
| `Global of cglobal

]

Sourcetype storage_class = [

| `Static
| `Extern

]

Sourcetype cconst = [

| `Int of Signed.sint

]

Sourcetype cexp = [

| cconst
| clocal
| `Cast of ty * cexp
| `Addr of cvar

]

Sourcetype clvalue = [

| cvar
| `Index of clvalue * cexp
| `Field of clvalue * fieldname
| `PointerField of clvalue * fieldname

]

Sourcetype camlop = [

| `CAMLparam0
| `CAMLlocalN of cexp * cexp
| `CAMLdrop

]

Sourcetype ceff = [

| cexp
| camlop
| `Global of cglobal
| `App of cfunction * cexp list
| `Index of ceff * cexp
| `Deref of cexp
| `DerefField of cexp * fieldname

]

Sourcetype cbind = clocal * ceff

Sourcetype ccomp = [

| ceff
| `CAMLparam of string list * ccomp
| `LetConst of clocal * cconst * ccomp
| `LetAssign of clvalue * ceff * ccomp
| `CAMLreturnT of ty * cexp
| `Return of ty * cexp
| `Let of cbind * ccomp

]

Sourcetype cfundec = [

| `Fundec of string * (string * ty) list * ty

]

Sourcetype cfundef = [

| `Function of cfundec * ccomp * storage_class

]

Sourceval return_type : 'a. 'a Ctypes_static.fn -> ty

Sourceval args : 'a. 'a Ctypes_static.fn -> (string * ty) list

Sourcemodule Type_C : sig ... end

Sourceval value : [ `value ] Ctypes_static.abstract Ctypes_static.typ

Sourceval reader : string -> 'a Ctypes_static.fn -> cfunction

Sourceval conser : string -> 'a Ctypes_static.fn -> cfunction

Sourceval immediater : string -> 'a Ctypes_static.fn -> cfunction

Sourcemodule Unchecked_function_types : sig ... end

Sourceval prim_prj : 'a. 'a Ctypes_primitive_types.prim -> cfunction

Sourceval prim_inj : 'a. 'a Ctypes_primitive_types.prim -> cfunction

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ctypes.stubs/Cstubs_c_language/index.html

Module `Cstubs_c_language`Source

package ctypes

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ctypes.stubs/Cstubs_c_language/index.html

Module Cstubs_c_languageSource

Module `Cstubs_c_language`Source