package ctypes-zarith

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ctypes_zarith.MPZ`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 : Z.t -> ptr -> unit

Sourceval make : unit -> ptr

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

Sourceval of_z : Z.t -> ptr

Sourceval to_z : ptr -> Z.t

Sourceval zarith : Z.t Ctypes.typ

Sourceval t_ptr : ptr Ctypes.typ