package ctypes-zarith

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type ptr = t Ctypes.abstract Ctypes.ptr

val t : t Ctypes.abstract Ctypes.typ

val clear : ptr -> unit

val init : ptr -> unit

val set : Z.t -> ptr -> unit

val make : unit -> ptr

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

val of_z : Z.t -> ptr

val to_z : ptr -> Z.t

val zarith : Z.t Ctypes.typ

val t_ptr : ptr Ctypes.typ