package ctypes-zarith

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ctypes_zarith.MPQ`Source

Sourcetype t

Sourcetype ptr = t Ctypes.abstract Ctypes.ptr

Sourceval t : t Ctypes.abstract Ctypes.typ

Sourceval clear : ptr -> unit

Sourceval init : ptr -> unit

Sourceval set : Q.t -> ptr -> unit

Sourceval make : unit -> ptr

like Ctypes.make, but with finalise and type already specified. mpq is initialized.

Sourceval of_q : Q.t -> ptr

Sourceval to_q : ptr -> Q.t

Sourceval zarith : Q.t Ctypes.typ

Sourceval t_ptr : ptr Ctypes.typ