package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5

md5=282c7b3d0fa57385a6b4395239bc8e13

type t

type cfunc

val dlopen : string -> t

val dlsym : t -> string -> cfunc

val dlclose : t -> unit

type cptr

val cptr_of : 'a -> cptr

val f2f : cfunc -> float -> float

val ff2f : cfunc -> float -> float -> float

val i2i : cfunc -> int -> int

val ii2i : cfunc -> int -> int -> int

val iii2i : cfunc -> int -> int -> int -> int

type carg =

val carg_to_string : carg -> string

type cargs = carg list

val cargs2i : cfunc -> cargs -> int

val cargs2f : cfunc -> cargs -> float

val cargs2s : cfunc -> cargs -> string