Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type ptr = t Ctypes.abstract Ctypes.ptr
val t : t Ctypes.abstract Ctypes.typ
val clear : ptr -> unit
val init : ptr -> unit
val make : unit -> ptr
like Ctypes.make
, but with finalise and type already specified. mpz is initialized.
val zarith : Z.t Ctypes.typ
val t_ptr : ptr Ctypes.typ